Invariant structures and dependence relations

DOI10.3233/FI-2017-1574MaRDI QIDQ4601146zbMATH OpenOpenAlexWikidataFDO

Authors Ryszard Janicki, Maciej Koutny, Łukasz Mikulski, Jetty 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

dependence graphinterleavinginvariant structuremutual exclusionpartial ordersequentialisabilityserialisabilitysimultaneitystep alphabetstep tracesynthesis

Mathematics Subject Classification ID

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

Recommendations

• Alphabets of Acyclic Invariant Structures
• Step traces
• A precise characterisation of step traces and their concurrent histories
• Classifying invariant structures of step traces
• Algebraic structure of step traces and interval traces

Cited in

(10)

• Invariance axioms and functional form restrictions in structural models
• Classifying invariant structures of step traces
• Invariants for non-hierarchical object structures
• Subsequence Invariants
• Structural Invariants
• A precise characterisation of step traces and their concurrent histories
• Relations de d\'ependance et intersections exceptionnelles (Dependence relations and exceptional intersections)
• scientific article; zbMATH DE number 2236695 (Why is no real title available?)
• Step traces
• On languages generated by signed grammars

This page was built for publication: Invariant structures and dependence relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4601146)