Hybrid action systems-Reference-Cited by-同舟云学术

Hybrid action systems

Published:2003-01 Issue:1 Volume:290 Page:937-973
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Rönkkö Mauno,Ravn Anders P.,Sere Kaisa

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference33 articles.

1. M. Abadi, L. Lamport, An old-fashioned recipe for real-time, ACM Trans. Programming Languages Systems 16(5) (1994) 1543–1571, also appeared in: J.W. de Bakker, C. Huizing, W.-P. de Roever, G. Rozenberg (Eds.), Lecture Notes in Computer Science, Vol. 600, Springer, Berlin, 1992.

2. Refinement calculus, part II;Back,1990

3. R.J.R. Back, Atomicity refinement in a refinement calculus framework, Reports on Computer Science and Mathematics, 141, Åbo Akademi, 1993.

4. R.J.R. Back, R. Kurki-Suonio, Decentralization of process nets with centralized control, in: Proc. 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, 1983, pp. 131–142.

5. Stepwise refinement of action systems;Back;Struct. Programming,1991

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

1. Core Hybrid Event-B III: Fundamentals of a reasoning framework;Science of Computer Programming;2024-01

2. Denotational and Algebraic Semantics for Cyber-physical Systems;2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS);2022-03

3. Asynchronous Correspondences Between Hybrid Trajectory Semantics;Lecture Notes in Computer Science;2022

4. An axiomatic approach to existence and liveness for differential equations;Formal Aspects of Computing;2021-08

5. Switched Systems as Hybrid Programs;IFAC-PapersOnLine;2021