scientific article; zbMATH DE number 5605072

MaRDI QIDQ3396569zbMATH OpenFDO

Authors Catuscia Palamidessi, Frank D. Valencia

Publication date 19 September 2009

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)

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

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)