Order Structures for Subclasses of Generalised Traces

DOI10.1007/978-3-319-15579-1_54zbMath1423.68309OpenAlexW1489809596WikidataQ104379721 ScholiaQ104379721MaRDI QIDQ2799218

Łukasz Mikulski, Maciej Koutny, Ryszard Janicki, H. C. M. Kleijn

Publication date: 8 April 2016

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://eprint.ncl.ac.uk/fulltext.aspx?url=209015/B221562C-B1A4-44E7-A25F-5CE0EE3A7F35.pdf&pub_id=209015

zbMATH Keywords

independencetracepartial orderinterleavingdependence graphserialisabilitysimultaneitygeneralised causal order structure

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Classifying invariant structures of step traces ⋮ Relational structures for concurrent behaviours ⋮ Step traces

This page was built for publication: Order Structures for Subclasses of Generalised Traces