Generalized bisimulation in relational specifications

1. 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. 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. 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. E. Astesiano, G. Reggio, Parameterized Concurrent Calculi, (in preparation).

   Google Scholar 

5. 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. E. Astesiano, M. Wirsing, Bisimulation in Algebraic Specifications, to appear in Proc. CREAS — Austin, Texas, 1987.

   Google Scholar 

7. 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. M. Broy, M. Wirsing, Partial Abstract Types, Acta Informatica 18, 1982.

   Google Scholar 

9. M. Broy, M. Wirsing, Algebraic Definition of a Functional Programming Language and its Semantic Models, RAIRO Informatique Theorique, 17, 2, 1983.

   Google Scholar 

10. R. Milner, A Calculus of Communicating Systems, LNCS 92 Lecture Notes in Computer Science, n. 92, Springer Verlag, Berlin, 1980.

    Google Scholar 

11. R. Milner, Calculi for Synchrony and Asynchrony, Theoret. Comput. Sci. vol. 25, 1983.

    Google Scholar 

12. 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. 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. 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 

Download references