A PO characterisation of reconfiguration

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

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

• A calculus of mobile processes. II
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Title not available (Why is that?)
• Notes on finite asynchronous automata
• Mobile ambients
• Explicit fusions
• Optimal Zielonka-type construction of deterministic asynchronous automata
• Barbed bisimulation
• A quadratic construction for Zielonka automata with acyclic communication structure
• Process semantics of general inhibitor nets
• Analysis issues in Petri nets with inhibitor arcs
• Partial order semantics and read arcs
• Title not available (Why is that?)
• Relational structures for concurrent behaviours
• A calculus for collective-adaptive systems and its behavioural theory
• 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)