scientific article; zbMATH DE number 2059568
From MaRDI portal
Publication:4457838
Recommendations
Cited in
(41)- Comparing communication primitives via their relative expressive power
- On the validity of encodings of the synchronous in the asynchronous -calculus
- A formal approach to open multiparty interactions
- Towards a unified approach to encodability and separation results for process calculi
- The \(C_\pi\)-calculus: a model for confidential name passing
- Expressiveness of concurrent intensionality
- Replacement freeness: a criterion for separating process calculi
- The \texttt{link}-calculus for open multiparty interactions
- Stochastic biological modelling in the presence of multiple compartments
- Tutorial on separation results in process calculi via leader election problems
- Behavioural equivalences for dynamic web data
- A CPS encoding of name-passing in higher-order mobile embedded resources
- Modelling dynamic web data
- Declarative event based models of concurrency and refinement in psi-calculi
- On the relative expressive power of calculi for mobility
- A sorted semantic framework for applied process calculi (extended abstract)
- On the expressive power of polyadic synchronisation in -calculus
- Encoding catalytic P systems in {\(\pi\)}\@
- Linearity, persistence and testing semantics in the asynchronous pi-calculus
- Matching systems for concurrent calculi
- Coordination models Orc and Reo compared
- Efficient stochastic simulation of biological systems with multiple variable volumes
- The attributed pi-calculus with priorities
- Typed ψ-calculi
- On the expressiveness of symmetric communication
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi
- scientific article; zbMATH DE number 1231684 (Why is no real title available?)
- scientific article; zbMATH DE number 1512621 (Why is no real title available?)
- Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality
- Matching in the pi-calculus
- scientific article; zbMATH DE number 7453965 (Why is no real title available?)
- On distributability in process calculi
- Encoding cryptographic primitives in a calculus with polyadic synchronisation
- Psi-calculi in Isabelle
- The reflective higher-order calculus: encodability, typability and separation
- A generic type system for higher-order \(\Psi\)-calculi
- Comparing the expressiveness of the \(\pi \)-calculus and CCS
- Encodability and separation for a reflective higher-order calculus
- A taxonomy of process calculi for distribution and mobility
- Comparing the expressive power of the synchronous and asynchronous \(\pi\)-calculi
- A generic type system for higher-order -calculi
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4457838)
