Process algebras with localities.

MaRDI QIDQ2760252zbMATH OpenFDO

Authors Ilaria Castellani

Publication date 2001

zbMATH Keywords

parallelismprocess algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Distribution and locality of concurrent systems
• A theory of processes with localities
• Locality based semantics for process algebras
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
• scientific article; zbMATH DE number 1512709

Cited in

(18)

• A theory of processes with localities
• Locality based semantics for process algebras
• A study on team bisimulation and H-team bisimulation for BPP nets
• Nested-unit Petri nets
• A stable non-interleaving early operational semantics for the pi-calculus
• Pure bigraphs: structure and dynamics
• Decidability of performance equivalence for basic parallel processes
• Reversing algebraic process calculi
• Characterising spectra of equivalences for event structures, logically
• A chart semantics for the pi-calculus
• Extensionality of spatial observations in distributed systems
• A Logic for Distributed Higher Order π-Calculus
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• scientific article; zbMATH DE number 1512709 (Why is no real title available?)
• scientific article; zbMATH DE number 7407797 (Why is no real title available?)
• A stable non-interleaving early operational semantics for the pi-calculus
• A model of actors and grey failures
• MAG\(\pi\): types for failure-prone communication

This page was built for publication: Process algebras with localities.

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