1984
Process algebra for synchronous communication
Publication
Publication
Information and Control , Volume 60 - Issue 1-3 p. 109- 137
Additional Metadata | |
---|---|
, | |
Information and Control | |
Organisation | 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. |