scientific article; zbMATH DE number 5347282

MaRDI QIDQ3527017zbMATH OpenFDO

Authors Maciej Koutny, Jetty Kleijn

Publication date 25 September 2008

zbMATH Keywords

causalityconcurrencyinhibitor arcspartial ordersPetri netstraces

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3958700
• scientific article; zbMATH DE number 6790165
• Formal Languages, Formally and Coinductively
• scientific article; zbMATH DE number 3894485
• Formal languages and compilation
• Formal languages and compilation
• A systematic approach to language constructs for concurrent programs
• scientific article; zbMATH DE number 3872706
• scientific article; zbMATH DE number 3932376

Cited in

(13)

• Approximations of arbitrary relations by partial orders
• Interval semantics for Petri nets with inhibitor arcs
• Relational structures for concurrent behaviours
• Specifying reversibility with \(\mathrm{TLA}^+\)
• On interval process semantics of Petri nets with inhibitor arcs
• Quotient monoids and concurrent behaviours
• scientific article; zbMATH DE number 3982543 (Why is no real title available?)
• External behaviour of systems of state machines with variables
• Modeling concurrency with interval traces
• Step traces
• On Interval Semantics of Inhibitor and Activator Nets
• Modelling concurrency with comtraces and generalized comtraces
• Interval traces with mutex relation

This page was built for publication:

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