Modelling and simulation of asynchronous real-time systems using Timed Rebeca-Reference-Cited by-同舟云学术

Modelling and simulation of asynchronous real-time systems using Timed Rebeca

Author:

Reynisson Arni Hermann,Sirjani Marjan,Aceto Luca,Cimini Matteo,Jafari Ali,Ingolfsdottir Anna,Sigurdarson Steinar Hugi

Funder

Icelandic Research Fund

Publisher

Elsevier BV

Subject

Software

Reference40 articles.

1. Modeling and verification of reactive systems using Rebeca;Sirjani;Fundam. Inform.,2004

2. Ten years of analyzing actors: Rebeca experience;Sirjani,2011

3. Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot;Hewitt,1972

4. Actors: A Model of Concurrent Computation in Distributed Systems;Agha,1990

5. What is commitment? Physical, organizational, and social (revised);Hewitt,2007

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

1. Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28

5. Timed Actors and Their Formal Verification;Electronic Proceedings in Theoretical Computer Science;2023-09-14