scientific article
From MaRDI portal
Publication:3396569
zbMath1169.68551MaRDI QIDQ3396569
Frank D. Valencia, Catuscia Palamidessi
Publication date: 19 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (9)
On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus ⋮ CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence ⋮ Replications in reversible concurrent calculi ⋮ The correctness of concurrencies in (reversible) concurrent calculi ⋮ On Recursion, Replication and Scope Mechanisms in Process Calculi ⋮ Towards a unified approach to encodability and separation results for process calculi ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Processes against tests: on defining contextual equivalences ⋮ Concurrencies in reversible concurrent calculi
This page was built for publication:
