scientific article; zbMATH DE number 7204945

DOI10.4230/LIPIcs.CONCUR.2017.28zbMath1442.68128MaRDI QIDQ5111642

Paul Brunet, Georg Struth, Damien Pous

Publication date: 27 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri netsconcurrent Kleene algebraseries-parallel pomsets

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On tools for completeness of Kleene algebra with hypotheses ⋮ On series-parallel pomset languages: rationality, context-freeness and automata ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Concurrent Kleene algebra and its foundations
• The equational theory of pomsets
• Deciding true concurrency equivalences on safe, finite nets
• Series-parallel languages and the bounded-width property
• On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency
• Une remarque sur les systèmes complets d'identités rationnelles
• The Recognition of Series Parallel Digraphs
• Une condition impliquant toutes les identités rationnelles
• Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages
• Programming Techniques: Regular expression search algorithm
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

This page was built for publication: