,
Information and Control
Specification and Analysis of Embedded Systems

Bergstra, J., & Klop, J. W. (1984). Process algebra for synchronous communication. Information and Control, 60(1-3), 109–137.