The intuitionism behind Statecharts steps
From MaRDI portal
Publication:5738950
DOI10.1145/504077.504078zbMath1365.68312OpenAlexW2119997500MaRDI QIDQ5738950
Michael Mendler, Gerald Lüttgen
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/504077.504078
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Constructive semantics for instantaneous reactions ⋮ Light logics and higher-order processes ⋮ What Is in a Step: New Perspectives on a Classical Question ⋮ Reconciling statechart semantics ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency