Qualitative Action Systems-Reference-Cited by-同舟云学术

Qualitative Action Systems

Published:2009 Issue: Volume: Page:206-225
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Aichernig Bernhard K.,Brandl Harald,Krenn Willibald

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-10373-5_11.pdf

Reference16 articles.

1. Kuipers, B.: Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. MIT Press, Cambridge (1994)

2. Back, R.J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, Montreal, Quebec, Canada, pp. 131–142. ACM, New York (1983)

3. Back, R.J., Sere, K.: Stepwise refinement of action systems. Structured Programming 12, 17–30 (1991)

4. Lecture Notes in Computer Science;R.J. Back,1994

5. Rönkkö, M., Ravn, A.P., Sere, K.: Hybrid action systems. Theoretical Computer Science 290, 937–973 (2003)

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

1. Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation;Innovations in Systems and Software Engineering;2024-07-04

2. A Testing Perspective on Algebraic, Denotational, and Operational Semantics;Unifying Theories of Programming;2019

3. Deriving real-time action systems with multiple time bands using algebraic reasoning;Science of Computer Programming;2014-06

4. Deriving Real-Time Action Systems Controllers from Multiscale System Specifications;Lecture Notes in Computer Science;2012

5. Alternating simulation and IOCO;International Journal on Software Tools for Technology Transfer;2011-11-03