Luca de Alfaro & Thomas A. Henzinger (2001):
Interface automata.
SIGSOFT Softw. Eng. Notes 26,
pp. 109–120.
Luca de Alfaro & Thomas A. Henzinger (2001):
Interface Theories for Component-Based Design.
In: Thomas A. Henzinger & Christoph M. Kirsch: EMSOFT,
LNCS 2211.
Springer,
pp. 148–165.
Luca de Alfaro & Thomas A. Henzinger (2005):
Interface-based Design.
In: Manfred Broy, Johannes Grünbauer, David Harel & C. A. R. Hoare: Engineering Theories of Software-intensive Systems,
NATO Science Series: Mathematics, Physics, and Chemistry 195.
Springer,
pp. 83–104.
Sebastian S. Bauer, Rolf Hennicker & Michel Bidoit (2010):
A Modal Interface Theory with Data Constraints.
In: SBMF 2010,
LNCS.
Springer.
To appear..
Sebastian S. Bauer, Rolf Hennicker & Stephan Janisch (2010):
Behaviour Protocols for Interacting Stateful Components.
Electr. Notes Theor. Comput. Sci. 263,
pp. 47–66.
Sebastian S. Bauer, Philip Mayer, Andreas Schroeder & Rolf Hennicker (2010):
On Weak Modal Compatibility, Refinement, and the MIO Workbench.
In: Javier Esparza & Rupak Majumdar: TACAS,
LNCS 6015.
Springer,
pp. 175–189.
Sebastian S. Bauer, Philip Mayer, Andreas Schroeder & Rolf Hennicker (2010):
On Weak Modal Compatibility, Refinement, and the MIO Workbench.
Technical Report 1001.
Institut für Informatik, Ludwig-Maximilians-Universität München.
Daniel Brand & Pitro Zafiropulo (1983):
On Communicating Finite-State Machines.
J. ACM 30(2),
pp. 323–342.
Hans Hüttel & Kim Guldstrand Larsen (1989):
The Use of Static Constructs in A Modal Process Logic.
In: Albert R. Meyer & Michael A. Taitslin: Logic at Botik,
LNCS 363.
Springer,
pp. 163–180.
Stephan Janisch (2010):
Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication.
Ph.D. thesis.
Institut für Informatik, Ludwig-Maximilians-Universität München.
Kim Guldstrand Larsen, Ulrik Nyman & Andrzej Wasowski (2007):
Modal I/O Automata for Interface and Product Line Theories.
In: Rocco De Nicola: ESOP,
LNCS 4421.
Springer,
pp. 64–79.
Kim Guldstrand Larsen & Bent Thomsen (1988):
A Modal Process Logic.
In: LICS.
IEEE Computer Society,
pp. 203–210.