Rebeca: Theory, Applications, and Tools-Reference-Cited by-同舟云学术

Rebeca: Theory, Applications, and Tools

Published:2007 Issue: Volume: Page:102-126
ISSN:0302-9743
Container-title:Formal Methods for Components and Objects
language:
Short-container-title:

Author:

Sirjani Marjan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74792-5_5

Reference65 articles.

1. Sirjani, M., Movaghar, A.: An actor-based model for formal modelling of reactive systems: Rebeca. Technical Report CS-TR-80-01, Tehran, Iran (2001)

2. Sirjani, M., Movaghar, A., Shali, A., de Boer, F.: Modeling and verification of reactive systems using Rebeca. Fundamenta Informatica 63, 385–410 (2004)

3. Hewitt, C.: Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot. In: MIT Artificial Intelligence Technical Report 258, Department of Computer Science, MIT, Cambridge (1972)

4. Agha, G., Mason, I., Smith, S., Talcott, C.: A foundation for actor computation. Journal of Functional Programming 7, 1–72 (1997)

5. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA (1990)

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

1. Formal Verification of Consistency for Systems with Redundant Controllers;Electronic Proceedings in Theoretical Computer Science;2024-03-27

2. Transparent Actor Model;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05

3. From Requirements to Verifiable Executable Models Using Rebeca;Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops;2021

4. An Actor-Based Approach for Security Analysis of Cyber-Physical Systems;Formal Methods for Industrial Critical Systems;2020

5. Formal Modeling and Analysis of Medical Systems;Lecture Notes in Computer Science;2020