학술논문
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
Document Type
Article
Author
Source
In: Journal of Logical and Algebraic Methods in Programming . (Journal of Logical and Algebraic Methods in Programming, April 2017, 88:121-153)
Subject
Language
English
ISSN
23522216