Skip to content

Operational Semantics and a Distributed Implementation of CSP.

Gerlinde Schreiber

VenueBMFPS
Year1987
ProceedingsMFPS

Browse the full MFPS paper archive.