Constructive semantics for instantaneous reactions
type: Item
instance of: scholarly article
title: Constructive semantics for instantaneous reactions
zbMATH Open document ID: 1207.68202
author: Joaquín Aguado
author: Michael Mendler
published in: Theoretical Computer Science
publication date: 2011-03-14T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 5865583
zbMATH Keywords: constructive semantics
zbMATH Keywords: synchronous languages
zbMATH Keywords: maze game
zbMATH Keywords: Statecharts
zbMATH Keywords: Esterel
describes a project that uses: Modechart
describes a project that uses: Esterel
describes a project that uses: SugarCubes
describes a project that uses: ULM
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.09.007
OpenAlex ID: W2019707334
cites work: Games and full completeness for multiplicative linear logic
cites work: Full abstraction for PCF
cites work: Q4513619
cites work: Programming Languages and Systems
cites work: Q3971259
cites work: Q4439564
cites work: Q4530231
cites work: Hazard Detection in Combinational and Sequential Switching Circuits
cites work: Locus solum: From the rules of logic to the logic of rules.
cites work: Automata, logics, and infinite games. A guide to current research
cites work: Q4284985
cites work: Q3792222
cites work: Q5691485
cites work: On full abstraction for PCF: I, II and III
cites work: Q5812175
cites work: The intuitionism behind Statecharts steps
cites work: Constructive Boolean circuits and the exactness of timed ternary simulation
cites work: Equivalences of Statecharts
cites work: What is in a step: On the semantics of statecharts
cites work: Q4490130
cites work: Q4010369
cites work: Decidability of DPDA equivalence
cites work: On the synthesis of strategies in infinite games
DOI: 10.1016/J.TCS.2010.09.007
description: scientific article; zbMATH DE number 5865583