References

  1. Luca Aceto, Ignacio Fábregas, David de Frutos Escrig, Anna Ingólfsdóttir & Miguel Palomino (2011): Relating modal refinements, covariant-contravariant simulations and partial bisimulations. In: Fundamentals of Software Engineering, FSEN 2011, LNCS. Springer * .
  2. Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen & Ji^rí Srba (2007): Reactive Systems: Modelling, Specification and Verification. Cambridge University Press.
  3. J. Baeten, D. van Beek, B. Luttik, J. Markovski & J. Rooda (2010): Partial Bisimulation. SE Report 2010-04. Department of Mechanical Engineering, Eindhoven University of Technology.
  4. Gérard Boudol & Kim Gulstrand Larsen (1992): Graphical versus logical specifications. Theoretical Computer Science 106(1), pp. 3–20, doi:10.1016/0304-3975(92)90276-L.
  5. Ignacio Fábregas, David de Frutos-Escrig & Miguel Palomino (2009): Non-strongly Stable Orders Also Define Interesting Simulation Relations. In: CALCO'09, LNCS 5728. Springer, pp. 221–235, doi:10.1007/978-3-642-03741-2_16.
  6. Ignacio Fábregas, David de Frutos-Escrig & Miguel Palomino (2010): Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics. In: SOS'10, EPTCS 32, pp. 1–14, doi:10.4204/EPTCS.32.1.
  7. Ignacio Fábregas, David de Frutos-Escrig & Miguel Palomino (2010): Logics for Contravariant Simulations. In: FORTE-FMOODS 2010, LNCS 6117. Springer, pp. 224–231, doi:10.1007/978-3-642-13464-7_18.
  8. R. J. van Glabbeek (2001): The linear time-branching time spectrum I: The semantics of concrete, sequential processes. In: J. A. Bergstra, A. Ponse & S. A. Smolka: Handbook of process algebra. North-Holland, pp. 3–99.
  9. Kim Guldstrand Larsen (1989): Modal Specifications. In: Automatic Verification Methods for Finite State Systems, LNCS 407. Springer, pp. 232–246, doi:10.1007/3-540-52148-8_19.
  10. Kim Guldstrand Larsen & Bent Thomsen (1988): A Modal Process Logic. In: LICS 1988. IEEE Computer Society, pp. 203–210, doi:10.1109/LICS.1988.5119.
  11. Gerald Lüttgen & Walter Vogler (2009): Safe Reasoning with Logic LTS. In: SOFSEM 2009, LNCS 5404. Springer, pp. 376–387, doi:10.1007/978-3-540-95891-8_35.
  12. Gerald Lüttgen & Walter Vogler (2010): Ready simulation for concurrency: It's logical!. Inf. Comput. 208(7), pp. 845–867, doi:10.1016/j.ic.2010.02.001.
  13. Nancy Lynch (1988): I/O Automata: A model for discrete event systems. In 22nd Annual Conferenc e on Information Sciences and Systems, pp. 29–38.
  14. R. Milner (1989): Communication and Concurrency. Prentice Hall.
  15. David Park (1981): Concurrency and Automata on Infinite Sequences. In: Theoretical Computer Science, 5th GI-Conference, LNCS 104. Springer, pp. 167–183, doi:10.1007/BFb0017309.

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