Communicating processes with value-passing and assignments

Authors
M.Hennessy,A.Ingolfsdottir
Citation
M.hennessy,a.ingolfsdottir, Communicating processes with value-passing and assignments, Formal aspects of computing The international journal of formal methods , 5(5), 1993, pp. 432-466
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
5
Year of publication
1993
Pages
432 - 466
Database
ACNP
SICI code