scientific article; zbMATH DE number 2060758

MaRDI QIDQ4458491zbMATH OpenFDO

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

Publication date 18 March 2004

zbMATH Keywords

Distributed SystemsSpecificationTimed BisimulationsTimed Process AlgebrasVerification

Mathematics Subject Classification ID

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

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

Cited in

(7)

• Absolute versus relative time in process algebras.
• The expressive power of monotonic parallel composition
• Automated synthesis of enforcing mechanisms for security properties in a timed setting
• Timing-Sensitive Noninterference through Composition
• scientific article; zbMATH DE number 1231594 (Why is no real title available?)
• scientific article; zbMATH DE number 1500554 (Why is no real title available?)
• Formal Methods for the Design of Real-Time Systems

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)