Introduction to design choices in the semantics of Statecharts
type: Item
instance of: scholarly article
title: Introduction to design choices in the semantics of Statecharts
zbMATH Open document ID: 0713.68012
DOI: 10.1016/0020-0190(91)90190-S
author: D. Kharzeev
published in: Information Processing Letters
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68M01
zbMATH DE Number: 4174313
zbMATH Keywords: specification languages
zbMATH Keywords: real-time systems
zbMATH Keywords: distributed computing
zbMATH Keywords: visual languages
zbMATH Keywords: Statecharts
zbMATH Keywords: reactive systems
describes a project that uses: Esterel
MaRDI profile type: Publication
cites work: The Esterel synchronous programming language: Design, semantics, implementation
cites work: Q3814813
cites work: System modelling with high-level Petri nets
cites work: Statecharts: a visual formalism for complex systems
cites work: Q3703299
cites work: Q5592246
cites work: Q3792222
cites work: Petri nets with individual tokens
full work available at URL: 0020-0190(91)90190-s
OpenAlex ID: W2047351509
description: scientific article; zbMATH DE number 4174313