1990
A new strategy for proving $omega$-completeness applied to process algebra
Publication
Publication
Presented at the
International Conference on Concurrency Theory, Amsterdam, The Netherlands
Additional Metadata | |
---|---|
, , , | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Concurrency Theory | |
Groote, J. F. (1990). A new strategy for proving $omega$-completeness applied to process algebra. In CONCUR \\\ (pp. 314–331). Springer. |