Statistical model checking of Timed Rebeca models-Reference-Cited by-同舟云学术

Statistical model checking of Timed Rebeca models

Published:2016-04 Issue: Volume:45 Page:53-79
ISSN:1477-8424
Container-title:Computer Languages, Systems & Structures
language:en
Short-container-title:Computer Languages, Systems & Structures

Author:

Jafari Ali,Khamespanah Ehsan,Kristinsson Haukur,Sirjani Marjan,Magnusson Brynjar

Funder

Timed Asynchronous Reactive Objects in Distributed Systems: TARO

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Software

Reference43 articles.

1. Hewitt C. Description and theoretical analysis (Using Schemata) of PLANNER: a language for proving theorems and manipulating models in a robot. MIT artificial intelligence technical report 258. Department of Computer Science, MIT; April 1972.

2. Actors: a model of concurrent computation in distributed systems;Agha,1990

3. The structure and semantics of actor languages;Agha,1990

4. Actor languages;Mason;Theor Comput Sci,1999

5. Ren S, Agha G. RT-synchronizer: language support for real-time specifications in distributed systems. In: Workshop on languages, compilers and tools for real-time systems; 1995. p. 50–9.

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

1. Bridging the semantic gap between qualitative and quantitative models of distributed systems;Proceedings of the ACM on Programming Languages;2022-10-31

2. Making Sense of Actor Behaviour;Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference);2019-02-14

3. Modelling and Analysis of Partially Stochastic Time Petri Nets Using Uppaal Model Checkers;Advances in Intelligent Systems and Computing;2019

4. Qualitative and quantitative model checking of distributed probabilistic timed actors;Simulation Modelling Practice and Theory;2018-09

5. Modelling and Analysis of Distributed Asynchronous Actor Systems Using Theatre;Advances in Intelligent Systems and Computing;2017-09-06