Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces

Authors:
Bard Bloom;Marta Z. Kwiatkowska
Affiliations:
-;-
Venue:
Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics
Year:
1991

Citing 0
Cited 3

Structured operational semantics as a specification language

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Series and Parallel Operations on Pomsets

Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Modelling concurrency with comtraces and generalized comtraces

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract