Introduction to design choices in the semantics of Statecharts
From MaRDI portal
Publication:750133
DOI10.1016/0020-0190(91)90190-SzbMath0713.68012MaRDI QIDQ750133
Publication date: 1991
Published in: Information Processing Letters (Search for Journal in Brave)
real-time systems; specification languages; Statecharts; distributed computing; reactive systems; visual languages
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
68M01: General theory of computer systems
Related Items
Uses Software