A PO characterisation of reconfiguration

DOI10.1007/978-3-031-17715-6_5MaRDI QIDQ6164465zbMATH OpenOpenAlexFDO

Authors

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

• scientific article; zbMATH DE number 1696814 (Why is no real title available?)
• scientific article; zbMATH DE number 1390069 (Why is no real title available?)
• A calculus for collective-adaptive systems and its behavioural theory
• A calculus of mobile processes. II
• A quadratic construction for Zielonka automata with acyclic communication structure
• Analysis issues in Petri nets with inhibitor arcs
• Barbed bisimulation
• Explicit fusions
• Mobile ambients
• Notes on finite asynchronous automata
• Optimal Zielonka-type construction of deterministic asynchronous automata
• Partial order semantics and read arcs
• Process semantics of general inhibitor nets
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Relational structures for concurrent behaviours
• The Applied Pi Calculus

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

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