Structured Operational Sematics for Process Algebras and Equational Axiom Systems
Authors:
Bard Bloom
Affiliations:
-
Venue:
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Year:
1993
Citing
0
Cited
1
A format for semantic equivalence comparison
Theoretical Computer Science
Quantified Score
Hi-index
0.00
Visualization
Abstract