scientific article; zbMATH DE number 2060758

zbMATH Open1066.68534MaRDI QIDQ4458491FDOQ4458491

Authors: Domenicantonio D'Ortenzio, P. Inverardi, Flavio Corradini 

Publication date: 18 March 2004

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

Recommendations

• scientific article; zbMATH DE number 1231594
• Absolute versus relative time in process algebras.
• Formal Methods for the Design of Real-Time Systems
• A process algebra for timed systems
• Timing and causality in process algebra

zbMATH Keywords

VerificationSpecificationDistributed SystemsTimed BisimulationsTimed Process Algebras

Mathematics Subject Classification ID

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

Cited In (5)

• Formal Methods for the Design of Real-Time Systems
• The expressive power of monotonic parallel composition
• Absolute versus relative time in process algebras.
• Automated synthesis of enforcing mechanisms for security properties in a timed setting
• Timing-Sensitive Noninterference through Composition

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