Pages that link to "Item:Q2734510"
From MaRDI portal
The following pages link to The \(\pi\)-calculus: A theory of mobile processes (Q2734510):
Displaying 50 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- Behavioural equivalences of a probabilistic pi-calculus (Q362281) (← links)
- Using bigraphs to model topological graphs embedded in orientable surfaces (Q383361) (← links)
- Value-passing CCS with noisy channels (Q428864) (← links)
- On the analysis of compensation correctness (Q444367) (← links)
- First-order reasoning for higher-order concurrency (Q456466) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
- Enabling synchronous and asynchronous communications in CSP for SOC (Q530849) (← links)
- Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687) (← links)
- SOS rule formats for zero and unit elements (Q549170) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- On quasi-open bisimulation (Q557789) (← links)
- A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation (Q615949) (← links)
- Conversation types (Q615952) (← links)
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Mobility in process calculi and natural computing. (Q653874) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Termination in higher-order concurrent calculi (Q710674) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- The calculus of context-aware ambients (Q716296) (← links)
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- The computational status of physics (Q734210) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Process algebras as support for sustainable systems of services (Q814902) (← links)
- Towards an algebraic theory of typed mobile processes (Q817843) (← links)
- An exercise in structural congruence (Q845877) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Differential interaction nets (Q860836) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- Axiomatizations for probabilistic finite-state behaviors (Q875517) (← links)
- Adding recursion to Dpi (Q877023) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Fair ambients (Q877172) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Theory of interaction (Q896903) (← links)
- Typed context awareness ambient calculus for pervasive applications (Q903500) (← links)
- Parametric synchronizations in mobile nominal calculi (Q935464) (← links)
- Security types for dynamic web data (Q935467) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- A theory of system behaviour in the presence of node and link failure (Q939442) (← links)
- Responsiveness in process calculi (Q959822) (← links)
