Integrating time and resource into Circus

zbMATH Open1272.68070MaRDI QIDQ2848461FDOQ2848461

Authors: Geguang Pu, Jifeng He, Zongyan Qiu 

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002318

Recommendations

• scientific article; zbMATH DE number 1949640
• A process algebraic framework for specification and validation of real-time systems
• Theoretical Aspects of Computing - ICTAC 2004
• A family of resource-bound real-time process algebras
• Formal Modeling and Analysis of Timed Systems

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (3)

• On Resource-Sensitive Timed Component Connectors
• Title not available (Why is that?)
• Theoretical Aspects of Computing - ICTAC 2004

This page was built for publication: Integrating time and resource into Circus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848461)