Reconciling statechart semantics-Reference-Cited by-同舟云学术

Reconciling statechart semantics

Published:2009-01 Issue:3 Volume:74 Page:65-99
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Eshuis Rik

Publisher

Elsevier BV

Subject

Software

Reference44 articles.

1. J. Aguado, M. Mendler, Constructive semantics for instantaneous reactions, in: D.R. Ghica and G. McCusker (Eds.), Proc. Games for Logic and Programming Languages, GALOP 2005, 2005, pp. 16–31

2. A comparison of statecharts variants;von der Beeck,1994

3. A structured operational semantics for UML-statecharts;von der Beeck;Software and System Modeling,2002

4. The Esterel synchronous programming language: Design, semantics, implementation;Berry;Science of Computer Programming,1992

5. Characterizing finite Kripke structures in propositional temporal logic;Browne;Theoretical Computer Science,1988

Cited by 38 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A fresh look on semantics of Concurrent State Based Language (ConStaBL);Journal of Computer Languages;2024-06

2. Pragmatic verification and validation of industrial executable SysML models;Systems Engineering;2023-05-10

3. Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling;Theoretical Aspects of Computing – ICTAC 2023;2023

4. Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12

5. A Practical Framework for General Dialogue-Based Bilateral Interactions;Engineering Multi-Agent Systems;2022