1988
Contractions in comparing concurrency semantics
Publication
Publication
Presented at the
International Colloquium on Automata, Languages and Programming, Tampere
Additional Metadata | |
---|---|
, , , | |
Springer | |
Lecture Notes in Computer Science | |
International Colloquium on Automata, Languages and Programming | |
Organisation | Computer Security |
Kok, J., & Rutten, J. (1988). Contractions in comparing concurrency semantics. In Automata, Languages and Programming: 15th International Colloquium, Proceedings (pp. 317–332). Springer. |