Real-time specification and modeling with joint actions

DOI10.1016/0167-6423(93)90024-JzbMath0782.68043OpenAlexW4213236883MaRDI QIDQ685613

Kari Systä, Reino Kurki-Suonio, Jüri Vain

Publication date: 17 October 1993

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(93)90024-j

zbMATH Keywords

modelingspecificationreactive systemsinterleaving model with fairnessjoint action systemsliveness propertieslocal clockschedulings

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Theory of software (68N99)

Related Items (1)

Action systems in incremental and aspect-oriented modeling

Uses Software

• LOTOS

This page was built for publication: Real-time specification and modeling with joint actions