An operational semantics for process algebra
J. C. M. Baeten; J. A. Bergstra; J. W. Klop
Banach Center Publications (1988)
- Volume: 21, Issue: 1, page 47-81
- ISSN: 0137-6934
Access Full Article
top
How to cite
topJ. C. M. Baeten, J. A. Bergstra, and J. W. Klop. "An operational semantics for process algebra." Banach Center Publications 21.1 (1988): 47-81. <http://eudml.org/doc/267932>.
@article{J1988,
author = {J. C. M. Baeten, J. A. Bergstra, J. W. Klop},
journal = {Banach Center Publications},
keywords = {concurrency; rewrite rules; process algebras; operational semantics; true concurrency; real-time behaviour},
language = {eng},
number = {1},
pages = {47-81},
title = {An operational semantics for process algebra},
url = {http://eudml.org/doc/267932},
volume = {21},
year = {1988},
}
TY - JOUR
AU - J. C. M. Baeten
AU - J. A. Bergstra
AU - J. W. Klop
TI - An operational semantics for process algebra
JO - Banach Center Publications
PY - 1988
VL - 21
IS - 1
SP - 47
EP - 81
LA - eng
KW - concurrency; rewrite rules; process algebras; operational semantics; true concurrency; real-time behaviour
UR - http://eudml.org/doc/267932
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.