1992
Abstraction in real time process algebra
Publication
Publication
Presented at the
Research and Education in Concurrent Systems International Workshop, Mook
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
Research and Education in Concurrent Systems International Workshop | |
Klusener, S. (1992). Abstraction in real time process algebra. In Real-Time: Theory in Practice (pp. 325–352). Springer. |