Relating maximality-based semantics to action refinement in process algebras

Authors:
Jean-Pierre Courtiat;Djamel-Eddine Saïdouni
Affiliations:
-;-
Venue:
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Year:
1995

Citing 0
Cited 3

Aggregation of transitions in marking graph generation based on maximality semantics for petri nets

VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Full Abstractness of a Metric Semantics for Action Refinement

Fundamenta Informaticae
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model

International Journal of Embedded and Real-Time Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract