Operational semantics, interval orders and sequences of antichains

DOI10.3233/FI-2019-1838MaRDI QIDQ5212020zbMATH OpenFDO

Authors Ryszard Janicki, Maciej Koutny

Publication date 24 January 2020

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2019-1838

zbMATH Keywords

interval orderinterval sequenceoperational semanticsPetri netsequence of maximal antichains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modeling operational semantics with interval orders represented by sequences of antichains
• Interval semantics for Petri nets with inhibitor arcs
• On interval process semantics of Petri nets with inhibitor arcs
• Modeling concurrency with interval traces
• scientific article; zbMATH DE number 5556718

Cited in

(11)

• Modeling operational semantics with interval orders represented by sequences of antichains
• On Interval Semantics of Inhibitor and Activator Nets
• Interval traces with mutex relation
• A Myhill-Nerode theorem for higher-dimensional automata
• Closure and decision properties for higher-dimensional automata
• Myhill-Nerode theorem for higher-dimensional automata
• Analysis of concurrent systems based on interval order
• Closure and decision properties for higher-dimensional automata
• Presenting interval pomsets with interfaces
• Logic and languages of higher-dimensional automata
• Sequential operators in computability logic

This page was built for publication: Operational semantics, interval orders and sequences of antichains

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