Pages that link to "Item:Q1276246"

The following pages link to On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246):

Displaying 50 items.

• A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
• A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750) (← links)
• On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
• The SL synchronous language, revisited (Q864504) (← links)
• Theory of interaction (Q896903) (← links)
• Event based choreography (Q988170) (← links)
• Comparing communication primitives via their relative expressive power (Q1004386) (← links)
• On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
• Bisimulation congruence of \(\chi\)-calculus (Q1398380) (← links)
• Comparing three semantics for Linda-like languages (Q1575148) (← links)
• On modelling mobility (Q1575151) (← links)
• Linda-based applicative and imperative process algebras (Q1575260) (← links)
• On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
• A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
• On the expressiveness of Linda coordination primitives. (Q1854324) (← links)
• Tile formats for located and mobile systems. (Q1854326) (← links)
• What is a ``good'' encoding of guarded choice? (Q1854329) (← links)
• Decoding choice encodings (Q1854385) (← links)
• Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
• Tau laws for pi calculus (Q1884877) (← links)
• Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
• Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
• Coupled similarity: the first 32 years (Q2182667) (← links)
• Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
• A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
• Special issue on ``Comprehending asynchrony in specification and analysis'' dedicated to Walter Vogler on the occasion of his 60th birthday (Q2340251) (← links)
• A synchronous \(\pi\)-calculus (Q2381508) (← links)
• Basic observables for a calculus for global computing (Q2384924) (← links)
• Linear forwarders (Q2384926) (← links)
• Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
• On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
• Mobile objects as mobile processes (Q2497145) (← links)
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
• (Q2754161) (← links)
• Typed behavioural equivalences for processes in the presence of subtyping (Q2841263) (← links)
• From computing to interaction: on the expressiveness of asynchronous pi-calculus (Q2856009) (← links)
• Coalgebraic Symbolic Semantics (Q2888486) (← links)
• A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
• Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
• Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
• Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus (Q3584942) (← links)
• On Bisimulation Theory in Linear Higher-Order π-Calculus (Q3651244) (← links)
• (Q4219054) (← links)
• Distributed processes and location failures (Q4571978) (← links)
• On the decidability of fragments of the asynchronous π-calculus (Q4917084) (← links)
• Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
• (Q5015358) (← links)
• (Q5089301) (← links)