1983
Linear time and branching time semantics for recursion with merge
Publication
Publication
Presented at the
International Colloquium on Automata, Languages and Programming, Barcelona
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
International Colloquium on Automata, Languages and Programming | |
Organisation | Specification and Analysis of Embedded Systems |
de Bakker, J., Bergstra, J., Klop, J. W., & Meyer, J.-J. (1983). Linear time and branching time semantics for recursion with merge. In Automata, languages and programming: 10th Colloquium (pp. 39–51). Springer. |