The most abstract form of acceptance semantics for a variant of CSPP is outlined. It encompasses processes which may involve priority, but covers a much wider class of systems including real time behaviour. It shares many of the features of the standard Failures-Divergences treatment: thus it is only a Complete Partial Order when the alphabet of events is finite.
CITATION STYLE
Lawrence, A. E. (2004). Triples. In Concurrent Systems Engineering Series (Vol. 62, pp. 157–184). https://doi.org/10.1007/978-3-642-65364-3_21
Mendeley helps you to discover research relevant for your work.