1987
Merge and termination in process algebra
Publication
Publication
Presented at the
Conference on Foundations of Software Technology and Theoretical Computer Science, Pune, India
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
Conference on Foundations of Software Technology and Theoretical Computer Science | |
Baeten, J., & van Glabbeek, R. (1987). Merge and termination in process algebra. In Foundations of Software Technology and Theoretical Computer Science (pp. 153–172). Springer. |