Enhanced operational semantics

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Enhanced operational semantics

Full text

Pdf (182 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 28 , Issue 2 (June 1996) table of contents

Pages: 352 - 354

Year of Publication: 1996

ISSN:0360-0300

Authors

Pierpaolo Degano	Univ. di Pisa, Pisa, Italy
Corrado Priami	Univ. di Pisa, Pisa, Italy

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 28, Citation Count: 6

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/234528.234748 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Gérard Berry , Gérard Boudol, The chemical abstract machine, Theoretical Computer Science, v.96 n.1, p.217-248, 6 April 1992
	2	Alessandro Bianchi , Stefano Coluccini , Pierpaolo Degano , Corrado Priami, An Efficient Verifier of Truly Concurrent Properties, Proceedings of the 3rd International Conference on Parallel Computing Technologies, p.36-50, September 12-25, 1995
	3	Chiara Bodei , Pierpaolo Degano , Corrado Priami, Mobile Processes with a Distributed Environment, Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, p.490-501, July 08-12, 1996
	4	Rance Cleaveland , Joachim Parrow , Bernhard Steffen, The concurrency workbench: a semantics-based tool for the verification of concurrent systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.1, p.36-72, Jan. 1993 [doi>10.1145/151646.151648]
	5	Pierpaolo Degano , Rocco de Nicola , Ugo Montanari, Universal axioms for bisimulations, Theoretical Computer Science, v.114 n.1, p.63-91, June 14 1993
	6	Pierpaolo Degano , Corrado Priami, Causality for Mobile Processes, Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, p.660-671, July 10-14, 1995
	7	F~RrcmI, G., GORRmRI, R., AND MONTANARI, U. 1991. An extended expansion theorem. In Proceedings of TAPSOFT'91, LNCS 431, Springer-Verlag, New York, 162-176.
	8	Alessandro Giacalone , Prateek Mishra , Sanjiva Prasad, Facile: a symmetric integration of concurrent and functional programming, International Journal of Parallel Programming, v.18 n.2, p.121-160, Apr. 1990 [doi>10.1007/BF01491213]
	9	Robin Milner , Joachim Parrow , David Walker, A calculus of mobile processes, II, Information and Computation, v.100 n.1, p.41-77, Sept. 1992 [doi>10.1016/0890-5401(92)90009-5]
	10	Hanne Riis Nielson , Flemming Nielson, Semantics with applications: a formal introduction, John Wiley & Sons, Inc., New York, NY, 1992
	11	PLOTKIN, G. 1981. A structural approach to operational semantics. Tech. Rep. DAIMI FN- 19, Aarhus Univ., Denmark.
	12	PRIAMI, C. 1995. Stochastic Q-calculus. Cornput. J. 38.

CITED BY 6

	Pierpaolo Degano , Fabio Gadducci , Corrado Priami, A causal semantics for CCS via rewriting logic, Theoretical Computer Science, v.275 n.1-2, p.259-282, March 28 2002
	Corrado Priami, Operational methods in theoretical computer science, ACM Computing Surveys (CSUR), v.31 n.3es, Sept. 1999
	Corrado Priami, Language-based performance prediction for distributed and mobile systems, Information and Computation, v.175 n.2, p.119-145, June 15, 2002
	Chiara Nottegar , Corrado Priami , Pierpaolo Degano, Performance Evaluation of Mobile Processes via Abstract Machines, IEEE Transactions on Software Engineering, v.27 n.10, p.867-889, October 2001
	Pierpaolo Degano , Corrado Priami, Enhanced operational semantics: a tool for describing and analyzing concurrent systems, ACM Computing Surveys (CSUR), v.33 n.2, p.135-176, June 2001
	Yingzhou Zhang , Baowen Xu, A survey of semantic description frameworks for programming languages, ACM SIGPLAN Notices, v.39 n.3, March 2004