scientific article; zbMATH DE number 2059568
From MaRDI portal
Publication:4457838
zbMath1062.68077MaRDI QIDQ4457838
Publication date: 17 March 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (32)
Declarative event based models of concurrency and refinement in psi-calculi ⋮ On the Expressiveness of Symmetric Communication ⋮ On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus ⋮ Expressiveness of concurrent intensionality ⋮ The reflective higher-order calculus: encodability, typability and separation ⋮ Replacement freeness: a criterion for separating process calculi ⋮ Towards a unified approach to encodability and separation results for process calculi ⋮ Psi-calculi in Isabelle ⋮ Unnamed Item ⋮ The \texttt{link}-calculus for open multiparty interactions ⋮ Unnamed Item ⋮ Towards a Unified Approach to Encodability and Separation Results for Process Calculi ⋮ A formal approach to open multiparty interactions ⋮ A taxonomy of process calculi for distribution and mobility ⋮ Tutorial on separation results in process calculi via leader election problems ⋮ Behavioural equivalences for dynamic web data ⋮ The \(C_\pi\)-calculus: a model for confidential name passing ⋮ Encoding cryptographic primitives in a calculus with polyadic synchronisation ⋮ A CPS encoding of name-passing in higher-order mobile embedded resources ⋮ Stochastic biological modelling in the presence of multiple compartments ⋮ Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ The Attributed Pi-Calculus with Priorities ⋮ Comparing communication primitives via their relative expressive power ⋮ On the Relative Expressive Power of Calculi for Mobility ⋮ Typed ψ-calculi ⋮ A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) ⋮ Modelling dynamic web data ⋮ Encoding Catalytic P Systems in π@ ⋮ 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
This page was built for publication: