An improved failures model for communicating processes
Main Authors: | Roscoe, A, Brookes, S |
---|---|
Format: | Conference item |
Published: |
Springer
1985
|
Similar Items
-
Deadlock analysis in networks of communicating processes
by: Roscoe, A, et al.
Published: (1985) -
Deadlock analysis in networks of communicating processes
by: Roscoe, A, et al.
Published: (1991) -
A theory of communicating sequential processes
by: Roscoe, A, et al.
Published: (1984) -
A theory of communicating sequential processes
by: Roscoe, A, et al.
Published: (1981) -
A Theory of Communicating Sequential Processes
by: Brookes, S, et al.
Published: (1984)