1987
Ready-trace semantics for concrete process algebra with the priority operator
Publication
Publication
The International Journal of Computing , Volume 30 - Issue 6 p. 498- 506
Additional Metadata | |
---|---|
, | |
british computer society | |
The International Journal of Computing | |
Organisation | Specification and Analysis of Embedded Systems |
Baeten, J., Bergstra, J., & Klop, J. W. (1987). Ready-trace semantics for concrete process algebra with the priority operator. The International Journal of Computing, 30(6), 498–506. |