Sciweavers

72
Voted
PODC
1989
ACM
15 years 2 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