Asynchronous communication in real space process algebra

J.C.M. Baeten; J.A. Bergstra

Asynchronous communication in real space process algebra

J.C.M. Baeten
, J.A. Bergstra

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

119 Downloads (Pure)

Originele taal-2	Engels
Titel	Proceedings of the Workshop on Concurrency, Bastad, May 27-31, 1991 / ed. by Lennart Augustsson, Peter Dybjer, Bengt Nordstrom ... [et al.]
Plaats van productie	Göteborg
Uitgeverij	Chalmers University of Technology
Pagina's	56-75
Status	Gepubliceerd - 1992

Publicatie series

Naam	The programming methodology group report series
Volume	63
ISSN van geprinte versie	0282-2083

Toegang tot document

589764Definitieve gepubliceerde versie, 1,26 MB

Citeer dit

@inproceedings{f8dd8976039546cd92a40b6fda1f28de,

title = "Asynchronous communication in real space process algebra",

author = "J.C.M. Baeten and J.A. Bergstra",

year = "1992",

language = "English",

series = "The programming methodology group report series",

publisher = "Chalmers University of Technology",

pages = "56--75",

booktitle = "Proceedings of the Workshop on Concurrency, Bastad, May 27-31, 1991 / ed. by Lennart Augustsson, Peter Dybjer, Bengt Nordstrom ... [et al.]",

}

Asynchronous communication in real space process algebra. / Baeten, J.C.M.; Bergstra, J.A.
Proceedings of the Workshop on Concurrency, Bastad, May 27-31, 1991 / ed. by Lennart Augustsson, Peter Dybjer, Bengt Nordstrom ... [et al.]. Göteborg: Chalmers University of Technology, 1992. blz. 56-75 (The programming methodology group report series; Vol. 63).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

TY - GEN

T1 - Asynchronous communication in real space process algebra

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 1992

Y1 - 1992

M3 - Conference contribution

T3 - The programming methodology group report series

SP - 56

EP - 75

BT - Proceedings of the Workshop on Concurrency, Bastad, May 27-31, 1991 / ed. by Lennart Augustsson, Peter Dybjer, Bengt Nordstrom ... [et al.]

PB - Chalmers University of Technology

CY - Göteborg

ER -