scientific article
From MaRDI portal
Publication:3792222
zbMath0647.68018MaRDI QIDQ3792222
No author found.
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
real-time systemsdenotational semanticsproof systemsgraphical languagesimultaneous eventsOCCAMspecification/programming languageStatcharts
Related Items (12)
What is in a step: On the semantics of statecharts ⋮ Statecharts, transition structures and transformations ⋮ Horizontal and vertical structuring techniques for statecharts ⋮ Equivalences of Statecharts ⋮ Constructive semantics for instantaneous reactions ⋮ A compositional axiomatization of statecharts ⋮ What Is in a Step: New Perspectives on a Classical Question ⋮ A Bibliography of Willem-Paul de Roever ⋮ Introduction to design choices in the semantics of Statecharts ⋮ A compositional \(\mu\)-calculus proof system for statecharts processes ⋮ A comparison of Statecharts step semantics ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
This page was built for publication:
