An operational semantics for process algebra
J. C. M. Baeten ; J. A. Bergstra ; J. W. Klop
Banach Center Publications, Tome 21 (1988), p. 47-81 / Harvested from The Polish Digital Mathematics Library
Publié le : 1988-01-01
EUDML-ID : urn:eudml:doc:267932
@article{bwmeta1.element.zamlynska-bdb14602-49cf-4300-a78f-63808becc5cf,
     author = {J. C. M. Baeten and J. A. Bergstra and J. W. Klop},
     title = {An operational semantics for process algebra},
     journal = {Banach Center Publications},
     volume = {21},
     year = {1988},
     pages = {47-81},
     zbl = {0761.68054},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-bdb14602-49cf-4300-a78f-63808becc5cf}
}
J. C. M. Baeten; J. A. Bergstra; J. W. Klop. An operational semantics for process algebra. Banach Center Publications, Tome 21 (1988) pp. 47-81. http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-bdb14602-49cf-4300-a78f-63808becc5cf/