scientific article; zbMATH DE number 1231594

MaRDI QIDQ4222914zbMATH OpenFDO

Authors Flavio Corradini

Publication date 21 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#corradini

zbMATH Keywords

real time systemstimed process algebras

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

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

Cites work

• A calculus of mobile processes. II
• A process algebra for timed systems
• A theory of processes with durational actions
• A timed model for communicating sequential processes
• An efficiency preorder for processes
• Communicating sequential processes
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 4119652 (Why is no real title available?)
• Real time process algebra
• Timed testing of concurrent systems
• Timing and causality in process algebra

Cited in

(3)

• Absolute versus relative time in process algebras.
• scientific article; zbMATH DE number 2060758 (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 Q4222914)