Skip to content

An Action Structure for Synchronous pi-Calculus.

Robin Milner

VenueBFCT
Year1993
ProceedingsFCT

Browse the full FCT paper archive.