Pomset semantics for true concurrency with synchronization and recursion

J.-J.Ch. Meyer; E.P. Vink, de

doi:10.1007/3-540-51486-4_83

Pomset semantics for true concurrency with synchronization and recursion

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Mathematical Foundations of Computer Science (Proceedings 14th Symposium, MFCS '89, Porabka-Kozubnik, Poland, August 28-September 1, 1989)
Editors	A. Kreczmar, G. Mirkowska
Publisher	Springer
Pages	360-369
ISBN (Print)	3-540-51486-4
DOIs	https://doi.org/10.1007/3-540-51486-4_83
Publication status	Published - 1989

Publication series

Name	Lecture Notes in Computer Science
Volume	379
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-51486-4_83

Cite this

Meyer, J-JC., & Vink, de, E. P. (1989). Pomset semantics for true concurrency with synchronization and recursion. In A. Kreczmar, & G. Mirkowska (Eds.), Mathematical Foundations of Computer Science (Proceedings 14th Symposium, MFCS '89, Porabka-Kozubnik, Poland, August 28-September 1, 1989) (pp. 360-369). (Lecture Notes in Computer Science; Vol. 379). Springer. https://doi.org/10.1007/3-540-51486-4_83

@inproceedings{3d48416ed90b41fb91dc1c902ec32587,

title = "Pomset semantics for true concurrency with synchronization and recursion",

author = "J.-J.Ch. Meyer and {Vink, de}, E.P.",

year = "1989",

doi = "10.1007/3-540-51486-4_83",

language = "English",

isbn = "3-540-51486-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "360--369",

editor = "A. Kreczmar and G. Mirkowska",

booktitle = "Mathematical Foundations of Computer Science (Proceedings 14th Symposium, MFCS '89, Porabka-Kozubnik, Poland, August 28-September 1, 1989)",

address = "Germany",

}

Meyer, J-JC & Vink, de, EP 1989, Pomset semantics for true concurrency with synchronization and recursion. in A Kreczmar & G Mirkowska (eds), Mathematical Foundations of Computer Science (Proceedings 14th Symposium, MFCS '89, Porabka-Kozubnik, Poland, August 28-September 1, 1989). Lecture Notes in Computer Science, vol. 379, Springer, pp. 360-369. https://doi.org/10.1007/3-540-51486-4_83

Pomset semantics for true concurrency with synchronization and recursion. / Meyer, J.-J.Ch.; Vink, de, E.P.

Mathematical Foundations of Computer Science (Proceedings 14th Symposium, MFCS '89, Porabka-Kozubnik, Poland, August 28-September 1, 1989). ed. / A. Kreczmar; G. Mirkowska. Springer, 1989. p. 360-369 (Lecture Notes in Computer Science; Vol. 379).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Pomset semantics for true concurrency with synchronization and recursion

AU - Meyer, J.-J.Ch.

AU - Vink, de, E.P.

PY - 1989

Y1 - 1989

U2 - 10.1007/3-540-51486-4_83

DO - 10.1007/3-540-51486-4_83

M3 - Conference contribution

SN - 3-540-51486-4

T3 - Lecture Notes in Computer Science

SP - 360

EP - 369

BT - Mathematical Foundations of Computer Science (Proceedings 14th Symposium, MFCS '89, Porabka-Kozubnik, Poland, August 28-September 1, 1989)

A2 - Kreczmar, A.

A2 - Mirkowska, G.

PB - Springer

ER -

Meyer J-JC, Vink, de EP. Pomset semantics for true concurrency with synchronization and recursion. In Kreczmar A, Mirkowska G, editors, Mathematical Foundations of Computer Science (Proceedings 14th Symposium, MFCS '89, Porabka-Kozubnik, Poland, August 28-September 1, 1989). Springer. 1989. p. 360-369. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-51486-4_83