Alphabets of Acyclic Invariant Structures

DOI10.3233/FI-2017-1562MaRDI QIDQ4601131zbMATH 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-1562

zbMATH Keywords

acyclicitydependence structureinterleavinginvariant structuremutual exclusionorder structuresequentialisabilitysimultaneitystep alphabetstep traceweak causality

Mathematics Subject Classification ID

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

Recommendations

• The Structure and Properties of Binary Cyclic Alphabets
• scientific article; zbMATH DE number 3266248
• Alphabets, rewriting trails and periodic representations in algebraic bases
• Algebraic structures of automata
• Algorithmic Invariants for Alexander Modules
• scientific article; zbMATH DE number 5852858
• Algebras associated to acyclic directed graphs
• The algebra of directed acyclic graphs
• Algebra invariants for finite directed graphs with relations.
• Some acyclic relations in the lambda algebra

Cited in

(5)

• Classifying invariant structures of step traces
• Invariant structures and dependence relations
• A precise characterisation of step traces and their concurrent histories
• scientific article; zbMATH DE number 3266248 (Why is no real title available?)
• Step traces

This page was built for publication: Alphabets of Acyclic Invariant Structures

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