A principle for sequential reasoning about distributed algorithms

Authors
F.A.Stomp,"W.-P.de Roever
Citation
F.a.stomp,"w.-p.de Roever, A principle for sequential reasoning about distributed algorithms, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 716-736
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
6
Year of publication
1994
Pages
716 - 736
Database
ACNP
SICI code