scientific article; zbMATH DE number 2060758

zbMath1066.68534MaRDI QIDQ4458491

Domenicantonio D'Ortenzio, Paola Inverardi, Flavio Corradini

Publication date: 18 March 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SpecificationVerificationDistributed SystemsTimed BisimulationsTimed Process Algebras

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Timing-Sensitive Noninterference through Composition ⋮ The Expressive Power of Monotonic Parallel Composition ⋮ Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting

This page was built for publication: