Work

A notation for deterministic cooperating processes

FWCI: 1.302
Cites: 28
Cited by: 7
Related to: 10