A non-SOS operational semantics for a process algebra

Information Processing Letters

Volumn 68, Issue 1, 1998, Pages 47-54

  Fraczak, Wojciech ^a   Zaremba, Marek B ^a  

^a UNIVERSITÉ DU QUÉBEC EN OUTAOUAIS   (Canada)

Author keywords

Process algebras; Structured operational semantics; Weak bisimulation

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; COMPUTER SOFTWARE; FUNCTIONS;

PROCESS ALGEBRAS; STRUCTURED OPERATIONAL SEMANTICS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0032178522     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0020-0190(98)00135-5     Document Type: Article

References (13)

1. D. Austry, G. Boudol, Algèbre de processus et synchronisation, Theoret. Comput. Sci. 30 (1984) 91-131.
2. E. Best, R. Devillers, J. Hall, The Box Calculus: a new causal algebra with multi-label communication, in: Advances in Petri Nets, Lecture Notes in Comput. Sci., Vol. 609, Springer, Berlin, 1992.
3. The Concurrency Factory, http://www.cs.sunysb.edu/~concurr/.
4. The Edinburgh Concurrency Workbench, http://www.dcs.ed. ac.uk/home/cwb/.
5. P.H.J. van Eijk, C.A. Vissers, M. Diaz (Eds.), The Formal Description Technique LOTOS, Elsevier, Amsterdam, 1989.
6. Eludo Toolkit, http://www.csi.uottawa.ca/~lotos/.
7. J. Fanchon, Algebras of located and directed processes, Rapport de Recherche 987, Laboratoire de Recherche en Informatique, Orsay, France, 1995.
8. W. Fraczak, Composition parallèle et synchronisation de systèmes à événements discrets, Thèse de doctorat, Université de Paris-Sud, 1996.
9. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ, 1985.
10. Meije Verification Tools, http://www.inria.fr/meije/meijetools. html.
11. R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 1989.
12. D. Park, Concurrency and automata on infinite sequences, in: P. Deussen (Ed.), Theoretical Computer Science, Lecture Notes in Comput. Sci., Vol. 104, Springer, Berlin, 1981.
13. G.D. Plotkin, A structural approach to operational semantics, Report DAIMIFN-19, Computer Science Department, Aarhus University, 1981.