Enhanced operational semantics

ACM Computing Surveys

Volumn 28, Issue 2, 1996, Pages 352-354

  Degano, Pierpaolo ^a   Priami, Corrado ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001393119     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/234528.234748     Document Type: Article

References (12)

1. BERRY, G. AND BOUDOL, G. 1992. The chemical abstract machine. Theor. Comput. Sci. 96, 217-248.
2. BLANCHI, A., COLUCCINI, S., DEGANO, P., AND PRIAMI, C. 1995. An efficient verifier of truly concurrent properties. In V. Malyshkin, Ed., Proceedings of PaCT'95, LNCS 964, Springer-Verlag, New York, 36-50.
3. BODEI, C., DEGANO, P., AND PRIAMI, C. 1996. Mobile processes with a distributed environment. In Proceedings of ICALP'96, LNCS. Springer-Verlag, New York.
4. CLEAVELAND, R., PARROW, J., AND STEFFEN, B. 1993. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Trans. Program. Lang. Syst. 36-72.
5. DEGANO, P., DE NICOLA, R., AND MONTANARI, U. 1993. Universal axioms for bisimulation. Theor. Comput. Sci., 114, 63-91.
6. DEGANO, P. AND PRIAMI, C. 1995. Causality for mobile processes. In Proceedings of ICALP'95, LNCS 944, Springer-Verlag, New York, 660-671.
7. FERRARI, G., GORRIERI, R., AND MONTANARI, U. 1991. An extended expansion theorem. In Proceedings of TAPSOFT'91, LNCS 431, Springer-Verlag, New York, 162-176.
8. GIACALONE, A., MISHRA, P., AND PRASAD, S. 1989. Facile: A symmetric integration of concurrent and functional programming. Int. J. Parallel Program. 18, 121-160.
9. MILNER, R., PARROW, J., AND WALKER, D. 1992. A calculus of mobile processes (I and II). Inf. Comput. 100, 1, 1-77.
10. NIELSON, F. AND NIELSON, H. R. 1992. Semantics with Applications: A Formal Introduction. Wiley, New York.
11. PLOTKIN, G. 1981. A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, Aarhus Univ., Denmark.
12. PRIAMI, C. 1995. Stochastic π-calculus. Comput. J. 38.