Login
|
New Account
ITA
ENG
Process algebra with guards:combining hoare logic with process algebra
Authors
Jan Friso Groote
Alban Ponse
Citation
Jan Friso Groote et Alban Ponse, Process algebra with guards:combining hoare logic with process algebra, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 115-164
Journal title
Formal aspects of computing The international journal of formal methods
→
ACNP
ISSN journal
09345043
Volume
6
Issue
1
Year of publication
1994
Pages
115 - 164
Database
ACNP
SICI code