scientific article; zbMATH DE number 1231594

zbMath0911.68137MaRDI QIDQ4222914

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

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

zbMATH Keywords

timed process algebrasreal time systems

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• A theory of processes with durational actions
• A timed model for communicating sequential processes
• A calculus of mobile processes. II
• An efficiency preorder for processes
• A process algebra for timed systems
• Timed testing of concurrent systems
• Timing and causality in process algebra
• Real time process algebra
• Communicating sequential processes

This page was built for publication: