scientific article

MaRDI QIDQ3385650

Jan Friso Groote, Omar al Duhaiby

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1905.12963

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

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)

Cites Work

• Unnamed Item
• Reactive Turing machines
• Confluence for process verification
• Unique parallel decomposition in branching and weak bisimulation semantics
• Learning regular sets from queries and counterexamples
• Unique decomposition of processes
• Methods of the algebraic theory of machines. I: Decomposition theorem for generalized machines; properties preserved under series and parallel compositions of machines
• Branching Bisimilarity with Explicit Divergence
• Branching time and abstraction in bisimulation semantics

This page was built for publication: