Generalized bisimulation in relational specifications

  • Egidio Astesiano
  • Alessandro Giovini
  • Gianna Reggio
Contributed Papers Rewriting Systems And Abstract Data Types
Part of the Lecture Notes in Computer Science book series (LNCS, volume 294)


Transition System Relational Specification Label Transition System Partial Algebra Sort State 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. AMRW.
    E. Astesiano, G. F. Mascari, G. Reggio, M. Wirsing, On the Parameterized Algebraic Specification of Concurrent Systems, in Proc. CAAP '85-TAP SOFT Conference, LNCS 185, Lecture Notes in Computer Science, n. 185, Springer Verlag, Berlin, 1985.Google Scholar
  2. AR.
    E. Astesiano, G. Reggio, An Outline of the SMoLCS Methodology, in Mathematical Models for the Semantics of Parallelism, Marisa Venturini Zilli ed., LNCS 280 Lecture Notes in Computer Science, n. 280, Springer Verlag, Berlin, p. 81–113, 1987.Google Scholar
  3. AR1.
    E. Astesiano, G. Reggio, SMoLCS Driven Concurrent Calculi, in Proc. TAP SOFT '87, LNCS 249 Lecture Notes in Computer Science, n. 249, Springer Verlag, Berlin, 1987.Google Scholar
  4. AR2.
    E. Astesiano, G. Reggio, Parameterized Concurrent Calculi, (in preparation).Google Scholar
  5. ARW.
    E. Astesiano, G. Reggio, M. Wirsing, Relational Specifications and Observational Semantics, in Proc. MFCS '86, LNCS 233 Lecture Notes in Computer Science, n. 233, Springer Verlag, Berlin, 1986.Google Scholar
  6. AW.
    E. Astesiano, M. Wirsing, Bisimulation in Algebraic Specifications, to appear in Proc. CREAS — Austin, Texas, 1987.Google Scholar
  7. BW1.
    M. Broy, M. Wirsing, On the Algebraic Specification of Finitary Infinite Communicating Sequential Processes, in D. Bjorner (ed.) Proc. of IFIP TC 2 Working Conference of Formal Description of Programming Concepts II, Garmisch June 1982, Amsterdam-New York-Oxford: North Holland Publ. Company, 1983.Google Scholar
  8. BW2.
    M. Broy, M. Wirsing, Partial Abstract Types, Acta Informatica 18, 1982.Google Scholar
  9. BW3.
    M. Broy, M. Wirsing, Algebraic Definition of a Functional Programming Language and its Semantic Models, RAIRO Informatique Theorique, 17, 2, 1983.Google Scholar
  10. M1.
    R. Milner, A Calculus of Communicating Systems, LNCS 92 Lecture Notes in Computer Science, n. 92, Springer Verlag, Berlin, 1980.Google Scholar
  11. M2.
    R. Milner, Calculi for Synchrony and Asynchrony, Theoret. Comput. Sci. vol. 25, 1983.Google Scholar
  12. Mö.
    B. Möller, Algebraic Specification with Higher-Order Operations, in L.G.L.T. Meertens (ed.) Proc. IFIP TC 2 Working Conference on Program Specification and Transformation, Bad Tolz F.R.G. 1986, Amsterdam-New York-Oxford-Tokyo: North Holland Publ. Company 1987.Google Scholar
  13. P.
    D. Park, Concurrency and Automata on Infinite Sequences, in Proc. 5th GI Conference LNCS 104 Lecture Notes in Computer Science, n. 104, Springer Verlag, Berlin, 1981.Google Scholar
  14. RAGIMZ.
    G. Reggio, E. Astesiano, A. Giovini, P. Inverardi, F. Mazzanti, E. Zucca, The User Manual of the Metalanguage, Deliverable of the CEC-MAP Project “The Draft Formal Definition of ANSI/MIL-STD 1815A-Ada”, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Egidio Astesiano
    • 1
  • Alessandro Giovini
    • 1
  • Gianna Reggio
    • 1
  1. 1.Dept. of MathematicsUniversity of GenovaItaly

Personalised recommendations