References

  1. Luca de Alfaro & Thomas A. Henzinger (2001): Interface automata. SIGSOFT Softw. Eng. Notes 26, pp. 109–120.
  2. 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.
  3. 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.
  4. Sebastian S. Bauer, Rolf Hennicker & Michel Bidoit (2010): A Modal Interface Theory with Data Constraints. In: SBMF 2010, LNCS. Springer. To appear..
  5. Sebastian S. Bauer, Rolf Hennicker & Stephan Janisch (2010): Behaviour Protocols for Interacting Stateful Components. Electr. Notes Theor. Comput. Sci. 263, pp. 47–66.
  6. 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.
  7. 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.
  8. Daniel Brand & Pitro Zafiropulo (1983): On Communicating Finite-State Machines. J. ACM 30(2), pp. 323–342.
  9. 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.
  10. 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.
  11. 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.
  12. Kim Guldstrand Larsen & Bent Thomsen (1988): A Modal Process Logic. In: LICS. IEEE Computer Society, pp. 203–210.
  13. MIO-Workbench. http://www.miowb.net/.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org