Action calculi, or concrete action structures (1993)

by R Milner
Venue:Mathematical Foundations of Computer Science, Springer Lecture Notes in Computer Science 711