Adaptable processes
From MaRDI portal
Publication:4899113
DOI10.2168/LMCS-8(4:13)2012zbMath1253.68237arXiv1210.6379OpenAlexW3037809754WikidataQ57652396 ScholiaQ57652396MaRDI QIDQ4899113
Mario Bravetti, Gianluigi Zavattaro, Cinzia Di Giusto, Jorge A. Pérez
Publication date: 7 January 2013
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1210.6379
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)
Related Items (10)
Declarative event based models of concurrency and refinement in psi-calculi ⋮ Event-based run-time adaptation in communication-centric systems ⋮ Self-adaptation and secure information flow in multiparty communications ⋮ Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Modular rewritable Petri nets: an efficient model for dynamic distributed systems ⋮ Incremental model checking of delta-oriented software product lines ⋮ Unnamed Item ⋮ Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes ⋮ On primitives for compensation handling as adaptable processes ⋮ A White Box Perspective on Behavioural Adaptation
Uses Software
This page was built for publication: Adaptable processes
