scientific article; zbMATH DE number 5605072

zbMATH Open1169.68551MaRDI QIDQ3396569FDOQ3396569

Authors: Catuscia Palamidessi, Frank D. Valencia 

Publication date: 19 September 2009

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (10)

• Concurrencies in reversible concurrent calculi
• Replications in reversible concurrent calculi
• The correctness of concurrencies in (reversible) concurrent calculi
• Towards a unified approach to encodability and separation results for process calculi
• On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Processes, systems \& tests: defining contextual equivalences
• On Recursion, Replication and Scope Mechanisms in Process Calculi
• CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
• Processes against tests: on defining contextual equivalences

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 Q3396569)