A fully abstract semantics for causality in the -calculus
From MaRDI portal
Publication:1130165
DOI10.1007/S002360050124zbMATH Open0908.68103OpenAlexW2048909687MaRDI QIDQ1130165FDOQ1130165
Authors: Michele Boreale, Davide Sangiorgi 
Publication date: 14 March 1999
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050124
Recommendations
Cited In (40)
- Synchrony versus causality in distributed systems
- Reversibility in the higher-order \(\pi\)-calculus
- Causality for mobile processes
- Causality and replication in concurrent processes
- The \(C_\pi\)-calculus: a model for confidential name passing
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
- Models for name-passing processes: Interleaving and causal
- Typed event structures and the linear \(\pi \)-calculus
- safeDpi: a language for controlling mobile code
- Some congruence properties for \(\pi\)-calculus bisimilarities
- Non-interleaving semantics for mobile processes
- Game-theoretic analysis of call-by-value computation
- Comparing type systems for deadlock freedom
- A fully abstract semantics for causality in the π-calculus
- Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus
- A stable non-interleaving early operational semantics for the pi-calculus
- Predictors for flat membrane systems
- A stable non-interleaving early operational semantics for the pi-calculus
- Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality
- A parametric framework for reversible \(\pi\)-calculi
- CaSPiS: a calculus of sessions, pipelines and services
- Bisimulations in the join-calculus
- A coalgebraic semantics for causality in Petri nets
- Comparing locality and causality based equivalences
- A Process-Model for Linear Programs
- Title not available (Why is that?)
- Towards an algebraic theory of typed mobile processes
- Breaking symmetries
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
- A compositional Petri net translation of general \(\pi\)-calculus terms
- Typed behavioural equivalences for processes in the presence of subtyping
- On the expressiveness of internal mobility in name-passing calculi
- Revisiting causality, coalgebraically
- Event structure semantics for multiparty sessions
- Title not available (Why is that?)
- A chart semantics for the pi-calculus
- Rigid families for CCS and the \(\pi\)-calculus
- Names of the \(\pi\)-calculus agents handled locally
- Locality and interleaving semantics in calculi for mobile processes
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
This page was built for publication: A fully abstract semantics for causality in the \(\pi\)-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1130165)
