Invariant Structures and Dependence Relations

DOI10.3233/FI-2017-1574zbMATH Open1378.68120OpenAlexW2743062653WikidataQ104379691 ScholiaQ104379691MaRDI QIDQ4601146

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

Publication date: 19 January 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2017-1574

zbMATH Keywords

synthesispartial orderinterleavingdependence graphmutual exclusionsequentialisabilityserialisabilitysimultaneitystep traceinvariant structurestep alphabet

Mathematics Subject Classification ID

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

Related Items (1)

Structural Invariants

This page was built for publication: Invariant Structures and Dependence Relations