Coordinating action systems

DOI10.1016/S0304-3975(99)00228-5zbMath0959.68006OpenAlexW2002045097MaRDI QIDQ1592481

Kaisa Sere, Eric J. Hedman, Joost N. Kok

Publication date: 23 January 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00228-5

zbMATH Keywords

real-time scheduling

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Uses Software

• ImpUNITY

Cites Work

• Unnamed Item
• A theoretical basis for stepwise refinement and the programming calculus
• Unity properties and sequences of states, some observations
• Compositional action system refinement
• The weakest precondition calculus: Recursion and duality
• Coordination in the ImpUNITY framework
• Superposition refinement of reactive systems
• The specification statement
• Programming as a Discipline of Mathematical Nature
• Priority inheritance protocols: an approach to real-time synchronization

This page was built for publication: Coordinating action systems