A formal semantics for concurrent systems with a priority relation

Authors:
Ryszard Janicki
Affiliations:
McMaster Univ., Hamilton, Ont., Canada
Venue:
Acta Informatica
Year:
1987

Citing 0
Cited 3

The meaning of negative premises in transition system specifications

Journal of the ACM (JACM)
True Concurrency in Models of Asynchronous Circuit Behavior

Formal Methods in System Design
On Causality Semantics of Nets with Priorities

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract