Action Calculi, or Syntactic Action Structures (1993)

by R Milner
Venue:In Proc. MFCS’93, Lecture Notes in Computer Science 711