chapter

On the development of reactive systems

Authors:

D. Harel,

A. PnueliAuthors Info & Claims

Logics and models of concurrent systems

February 1989

Pages 477 - 498

Published: 01 February 1989 Publication History

Abstract

No abstract available.

Cited By

View all

Krishnamurthy JSerrano M(2021)Causality Error Tracing in HipHop.jsProceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming10.1145/3479394.3479408(1-13)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3479394.3479408
Wells MKingston ZLahijanian MKavraki LVardi M(2021)Finite-Horizon Synthesis for Probabilistic Manipulation Domains2021 IEEE International Conference on Robotics and Automation (ICRA)10.1109/ICRA48506.2021.9561297(6336-6342)Online publication date: 30-May-2021
https://dl.acm.org/doi/10.1109/ICRA48506.2021.9561297
Maubert BPinchinat SSchwarzentruber F(2019)Reachability games in dynamic epistemic logicProceedings of the 28th International Joint Conference on Artificial Intelligence10.5555/3367032.3367104(499-505)Online publication date: 10-Aug-2019
https://dl.acm.org/doi/10.5555/3367032.3367104
Show More Cited By

Index Terms

On the development of reactive systems
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
2. Theory of computation
  1. Logic
  2. Models of computation
    1. Concurrency
      1. Parallel computing models

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Logics and models of concurrent systems

February 1989

498 pages

ISBN:0387151818

Editor:
Krzysztof R. Apt
L.I.T.P, Univ. Paris, Paris, France

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 February 1989

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

127
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Krishnamurthy JSerrano M(2021)Causality Error Tracing in HipHop.jsProceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming10.1145/3479394.3479408(1-13)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3479394.3479408
Wells MKingston ZLahijanian MKavraki LVardi M(2021)Finite-Horizon Synthesis for Probabilistic Manipulation Domains2021 IEEE International Conference on Robotics and Automation (ICRA)10.1109/ICRA48506.2021.9561297(6336-6342)Online publication date: 30-May-2021
https://dl.acm.org/doi/10.1109/ICRA48506.2021.9561297
Maubert BPinchinat SSchwarzentruber F(2019)Reachability games in dynamic epistemic logicProceedings of the 28th International Joint Conference on Artificial Intelligence10.5555/3367032.3367104(499-505)Online publication date: 10-Aug-2019
https://dl.acm.org/doi/10.5555/3367032.3367104
Maguerra SBoulmakoul AKarim LBadir H(2019)Load Balancing of Distributed Actors in an Asynchronous Message Processing BoundaryProceedings of the New Challenges in Data Sciences: Acts of the Second Conference of the Moroccan Classification Society10.1145/3314074.3314085(1-5)Online publication date: 28-Mar-2019
https://dl.acm.org/doi/10.1145/3314074.3314085
Yang ZBodeveix JFilali M(2019)Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNALFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-017-6485-y13:4(715-734)Online publication date: 1-Aug-2019
https://dl.acm.org/doi/10.1007/s11704-017-6485-y
Lohstroh MRomeo ÍGoens ADerler PCastrillon JLee ESangiovanni-Vincentelli A(2019)Reactors: A Deterministic Model for Composable Reactive SystemsCyber Physical Systems. Model-Based Design10.1007/978-3-030-41131-2_4(59-85)Online publication date: 17-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-41131-2_4
Zhao YSanán DZhang FLiu Y(2019)A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive SystemsFormal Methods – The Next 30 Years10.1007/978-3-030-30942-8_11(161-178)Online publication date: 7-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-30942-8_11
Rahnamoon SMurray Wonham W(2018)State-Based Control of Timed Discrete-Event Systems2018 IEEE Conference on Decision and Control (CDC)10.1109/CDC.2018.8619051(4833-4838)Online publication date: 17-Dec-2018
https://dl.acm.org/doi/10.1109/CDC.2018.8619051
Pan HLi YCao YLi D(2017)Reachability in Fuzzy Game GraphsIEEE Transactions on Fuzzy Systems10.1109/TFUZZ.2016.259349525:4(972-984)Online publication date: 1-Aug-2017
https://dl.acm.org/doi/10.1109/TFUZZ.2016.2593495
Alexandron GArmoni MGordon MHarel D(2017)Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 1Computing in Science and Engineering10.1109/MCSE.2017.342155719:5(58-67)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1109/MCSE.2017.3421557
Show More Cited By

Cited By

Index Terms

Recommendations

Reactive Application Development

Java EE 5 Development using GlassFish Application Server: The complete guide to installing and configuring the GlassFish Application Server and developing ... 5 applications to be deployed to this server

Reactive Java Programming

Comments

Published In

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Abstract

Cited By

Index Terms

Recommendations

Reactive Application Development

Java EE 5 Development using GlassFish Application Server: The complete guide to installing and configuring the GlassFish Application Server and developing ... 5 applications to be deployed to this server

Reactive Java Programming

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations