scientific article; zbMATH DE number 2059568
From MaRDI portal
Publication:4457838
Recommendations
Cited in
(40)- On the expressive power of polyadic synchronisation in \(\pi \)-calculus
- Comparing communication primitives via their relative expressive power
- Comparing the expressiveness of the \(\pi \)-calculus and CCS
- Coordination models Orc and Reo compared
- The attributed pi-calculus with priorities
- Declarative event based models of concurrency and refinement in psi-calculi
- A CPS encoding of name-passing in higher-order mobile embedded resources
- Comparing the expressive power of the synchronous and asynchronous \(\pi\)-calculi
- Behavioural equivalences for dynamic web data
- Psi-calculi in Isabelle
- Matching systems for concurrent calculi
- Encodability and separation for a reflective higher-order calculus
- A generic type system for higher-order \(\Psi\)-calculi
- On distributability in process calculi
- A formal approach to open multiparty interactions
- A generic type system for higher-order \(\Psi\)-calculi
- Linearity, persistence and testing semantics in the asynchronous pi-calculus
- Tutorial on separation results in process calculi via leader election problems
- Modelling dynamic web data
- On the relative expressive power of calculi for mobility
- Expressiveness of concurrent intensionality
- Replacement freeness: a criterion for separating process calculi
- On the expressiveness of symmetric communication
- Stochastic biological modelling in the presence of multiple compartments
- Towards a unified approach to encodability and separation results for process calculi
- Typed ψ-calculi
- Encoding catalytic P systems in {\(\pi\)}\@
- A taxonomy of process calculi for distribution and mobility
- A sorted semantic framework for applied process calculi (extended abstract)
- The \texttt{link}-calculus for open multiparty interactions
- Efficient stochastic simulation of biological systems with multiple variable volumes
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
- scientific article; zbMATH DE number 7453965 (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
- The reflective higher-order calculus: encodability, typability and separation
- Matching in the pi-calculus
- The \(C_\pi\)-calculus: a model for confidential name passing
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi
- Encoding cryptographic primitives in a calculus with polyadic synchronisation
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)
