scientific article; zbMATH DE number 7438162

zbMath1477.68184arXiv1603.00976MaRDI QIDQ5013817

Paweł Sobociński

Publication date: 2 December 2021

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Compositional Specification in Rewriting Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Full Abstraction for Signal Flow Graphs
• Connector algebras for C/E and P/T nets' interactions
• Advanced automata minimization
• Checking NFA equivalence with bisimulations up to congruence
• A Connector Algebra for P/T Nets Interactions
• A Categorical Semantics of Signal Flow Graphs
• Compositional Reachability in Petri Nets
• Representations of Petri Net Interactions
• Towards compositional graph theory

This page was built for publication: