Structural Operational Specifications and the Trace Automata

Authors:
Eric Badouel;Philippe Darondeau
Affiliations:
-;-
Venue:
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Year:
1992

Citing 0
Cited 2

Structured transition systems with parametric observations: observational congruences and minimal realizations

Mathematical Structures in Computer Science
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra

Concurrency, Graphs and Models

Quantified Score

Hi-index	0.00

Visualization

Abstract