A CCS-based investigation of Deadlock in multi-process electronic mail system

Authors
Gordon Brebner
Citation
Gordon Brebner, A CCS-based investigation of Deadlock in multi-process electronic mail system, Formal aspects of computing The international journal of formal methods , 5(5), 1993, pp. 467-479
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
467 - 479
Database
ACNP
SICI code