A PO characterisation of reconfiguration

DOI10.1007/978-3-031-17715-6_5OpenAlexW4312939289MaRDI QIDQ6164465

No author found.

Publication date: 28 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-17715-6_5

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A quadratic construction for Zielonka automata with acyclic communication structure
• Process semantics of general inhibitor nets
• A calculus of mobile processes. II
• Analysis issues in Petri nets with inhibitor arcs
• Partial order semantics and read arcs
• Relational structures for concurrent behaviours
• A calculus for collective-adaptive systems and its behavioural theory
• Explicit fusions
• Psi-calculi: a framework for mobile processes with nominal data and logic
• The Applied Pi Calculus
• Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
• Notes on finite asynchronous automata
• Barbed bisimulation

This page was built for publication: A PO characterisation of reconfiguration