A fully abstract semantics for causality in the -calculus
From MaRDI portal
(Redirected from Publication:1130165)
A fully abstract semantics for causality in the \(\pi\)-calculus
A fully abstract semantics for causality in the \(\pi\)-calculus
Recommendations
Cited in
(40)- Synchrony versus causality in distributed systems
- Reversibility in the higher-order \(\pi\)-calculus
- Causality for mobile processes
- The \(C_\pi\)-calculus: a model for confidential name passing
- Models for name-passing processes: Interleaving and causal
- Causality and replication in concurrent processes
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
- 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
- Predictors for flat membrane systems
- A stable non-interleaving early operational semantics for the pi-calculus
- A parametric framework for reversible \(\pi\)-calculi
- Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus
- Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality
- A stable non-interleaving early operational semantics for the pi-calculus
- 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
- scientific article; zbMATH DE number 7447776 (Why is no real title available?)
- 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 -calculus terms
- On the expressiveness of internal mobility in name-passing calculi
- Typed behavioural equivalences for processes in the presence of subtyping
- Revisiting causality, coalgebraically
- Event structure semantics for multiparty sessions
- scientific article; zbMATH DE number 1950546 (Why is no real title available?)
- A chart semantics for the pi-calculus
- Rigid families for CCS and the \(\pi\)-calculus
- Names of the -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)
