Pages that link to "Item:Q2734510"

The following pages link to The \(\pi\)-calculus: A theory of mobile processes (Q2734510):

Displaying 23 items.

• Types for ambient and process mobility (Q5458067) (← links)
• A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)
• A Resource Analysis of the π-calculus (Q5739364) (← links)
• (Q5856418) (← links)
• (Q5875344) (← links)
• (Q5875399) (← links)
• (Q5875401) (← links)
• Applied Choreographies (Q5881532) (← links)
• A Calculus for Modeling Floating Authorizations (Q5881536) (← links)
• A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (Q5900141) (← links)
• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
• Process calculi for biological processes (Q6062000) (← links)
• Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
• A model of actors and grey failures (Q6137831) (← links)
• Variable binding and substitution for (nameless) dummies (Q6151566) (← links)
• Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
• The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
• Executable Semantics and Type Checking for Session-Based Concurrency in Maude (Q6487298) (← links)
• Safe session-based concurrency with shared linear state (Q6535247) (← links)
• Implementing the \(\lambda_{GT}\) language: a functional language with graphs as first-class data (Q6535521) (← links)
• Minimal translations from synchronous communication to synchronizing locks (Q6643748) (← links)
• On decidability of the bisimilarity on higher-order processes with parameterization (Q6643749) (← links)
• Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)