The following pages link to (Q4457838):
Displaying 32 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- A formal approach to open multiparty interactions (Q1727996) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- The \texttt{link}-calculus for open multiparty interactions (Q2216110) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← links)
- Modelling dynamic web data (Q2566029) (← links)
- On the Relative Expressive Power of Calculi for Mobility (Q2805161) (← links)
- A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) (Q2830029) (← links)
- Encoding Catalytic P Systems in π@ (Q2864204) (← links)
- Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus (Q2864372) (← links)
- Matching Systems for Concurrent Calculi (Q2864374) (← links)
- Coordination Models Orc and Reo Compared (Q2866319) (← links)
- Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes (Q2870307) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- On the Expressiveness of Symmetric Communication (Q3179397) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- Psi-calculi in Isabelle (Q5890661) (← links)
- The reflective higher-order calculus: encodability, typability and separation (Q6124241) (← links)
- (Q6150431) (← links)
- (Q6190870) (← links)