High level expressions with their SOS semantics: Extended abstract

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1243, Issue , 1997, Pages 288-301

  Klaudel, Hanna ^a   Riemann, Robert C ^a,b  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b UNIVERSITY OF HILDESHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957868518     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63141-0_20     Document Type: Conference Paper

References (13)

1. J. Baeten and W.P. Weijland. Process Algebras. Cambridge Tracts in Theoretical Computer Science 18, 1990.
2. E. Best, R. Devillers, and J.G. Hall. The Box Calculus: a New Causal Algebra with Multi-Label Communication. In G. Rozenberg, Ed., Advances in Petri Nets 92, Vol. 609 of Lecture Notes in Computer Science, pages 21-69. Springer, 1992.
3. E. Best, R. Devillers, and M. Koutny. Petri Net Algebra. Book draft, 1997.
4. E. Best and H. Fleischhack, Eds. PEP: Programming Environment Based on Petri Nets. Number 14/95 in Hildesheimer Informatik-Berichte. Universitiät Hildesheim, May 1995.
5. E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. A Class of Composable High Level Petri Nets. In Michelis and Diaz, Eds., Application and Theory of Petri Nets 1995, Vol. 935 of Lecture Notes in Computer Science. Springer, June 1995.
6. E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. An M-Net Semantics of B(PN) 2. In STRICT, WiC. Springer, 1995.
7. E. Best and R.P. Hopkins. B(PN) 2 - a Basic Petri Net Programming Notation. In A. Bode, M. Reeve, and G. Wolf, Eds., Proceedings of PARLE '93, Vol. 694 of Lecture Notes in Computer Science, pages 379-390. Springer, 1993.
8. E. Best and M. Koutny. A Refined View of the Box Algebra. In Michelis and Diaz, Eds., Application and Theory of Petri Nets 1995, Vol. 935 of Lecture Notes in Computer Science, pages 1-20. Springer, June 1995.
9. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall (1985).
10. H. Klaudel and R.C. Riemann. M-expressions - a High Level Process Algebra with an Application to a Parallel Programming Language. LRI, Université Paris-Sud, Rapport 1090, January 1997. (http://www.lri.fr/~robert/work.html).
11. M. Koutny, J. Esparza, and E. Best. Operational Semantics for the Petri Box Calculus. In B. Jonsson and J. Parrow, Eds., CONCUR'94: Concurrency Theory, Vol. 836 of Lecture Notes in Computer Science, pages 210-225. Springer, 1994.
12. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
13. G.D. Plotkin. A Structural Approach to Operational Semantics. Report DAIMI FN-19, Aarhus University, Computer Science Departement, September 1981.