Pages that link to "Item:Q1130165"

The following pages link to A fully abstract semantics for causality in the \(\pi\)-calculus (Q1130165):

Displaying 36 items.

• Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
• Models for name-passing processes: Interleaving and causal (Q598191) (← links)
• \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684) (← links)
• Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
• Towards an algebraic theory of typed mobile processes (Q817843) (← links)
• A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
• A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
• Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
• Some congruence properties for \(\pi\)-calculus bisimilarities (Q1129260) (← links)
• On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
• Non-interleaving semantics for mobile processes (Q1285660) (← links)
• Comparing locality and causality based equivalences (Q1342503) (← links)
• Names of the \(\pi\)-calculus agents handled locally (Q1589648) (← links)
• Predictors for flat membrane systems (Q1643137) (← links)
• Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
• The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
• A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
• Revisiting causality, coalgebraically (Q2257982) (← links)
• A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
• safeDpi: a language for controlling mobile code (Q2581010) (← links)
• Comparing type systems for deadlock freedom (Q2667185) (← links)
• Event structure semantics for multiparty sessions (Q2683035) (← links)
• Typed behavioural equivalences for processes in the presence of subtyping (Q2841263) (← links)
• A chart semantics for the pi-calculus (Q2864369) (← links)
• Breaking symmetries (Q2971075) (← links)
• Synchrony versus causality in distributed systems (Q2971080) (← links)
• (Q3384917) (← links)
• A Process-Model for Linear Programs (Q3638259) (← links)
• A fully abstract semantics for causality in the π-calculus (Q4596625) (← links)
• Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
• A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)
• CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)
• Perspectives of System Informatics (Q5902418) (← links)
• Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
• Bisimulations in the join-calculus (Q5958770) (← links)