1984-07-09
Process algebra with asynchronous communication mechanisms
Publication
Publication
Presented at the
Seminar on Concurrency, Pittsburgh, PA, USA
Additional Metadata | |
---|---|
Springer | |
doi.org/10.1007/3-540-15670-4_4 | |
Seminar on Concurrency | |
Organisation | Specification and Analysis of Embedded Systems |
Bergstra, J., Klop, J. W., & Tucker, J. (1984). Process algebra with asynchronous communication mechanisms. In Lecture Notes in Computer Science (pp. 76–95). Springer. doi:10.1007/3-540-15670-4_4 |