Sciweavers

67
Voted
PODC
1989
ACM
15 years 1 months ago
Equational Reasoning About Nondeterministic Processes
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...
Jayadev Misra