Towards action refinement for true concurrent real time

DOI10.1007/S00236-003-0117-8zbMath1060.68072OpenAlexW2030208586MaRDI QIDQ1424360

Jinzhao Wu, Mila E. Majster-Cederbaum

Publication date: 11 March 2004

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-003-0117-8

zbMATH Keywords

concurrent systemsspecification language LOTOS

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Refinement of actions for real-time concurrent systems with causal ambiguity

Uses Software

• LOTOS

This page was built for publication: Towards action refinement for true concurrent real time