References

  1. G. Agha (1990): Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, USA.
  2. R. Alur & D Dill (1994): A Theory of Timed Automata. Theoretical Computer Science 126, pp. 183–235, doi:10.1016/0304-3975(94)90010-8.
  3. Henry Givens Baker (1978): Actor Systems for Real-Time Computation. Technical Report. MIT.
  4. Joakim Bjørk, Einar Broch Johnsen, Olaf Owe & Rudolf Schlatte (2010): Lightweight Time Modeling in Timed Creol. In: RTRTS, pp. 67–81, doi:10.4204/EPTCS.36.4.
  5. Frank S. de Boer, Tom Chothia & Mohammad Mahdi Jaghoori (2009): Modular Schedulability Analysis of Concurrent Objects in Creol. In: FSEN, pp. 212–227, doi:10.1007/978-3-642-11623-0_12.
  6. Erlang: Erlang Programming Language Homepage. Http://www.erlang.org.
  7. Lars-Åke Fredlund & Hans Svensson (2007): McErlang: a model checker for a distributed functional programming language. In: ICFP, pp. 125-136, doi:10.1145/1291151.1291171.
  8. C. Hewitt (1972): 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.
  9. Carl Hewitt (2007): What is Commitment? Physical, Organizational, and Social (Revised). In: Proceedings of Coordination, Organizations, Institutions, and Norms in Agent Systems II, Lecture Notes in Computer Science. Springer, pp. 293–307, doi:10.1007/978-3-540-74459-7_19.
  10. ICEROSE: ICEROSE Homepage. Http://en.ru.is/icerose/applying-formal-methods/projects/TARO.
  11. Mohammad Javad Izadi (2010): An Actor-based Model for Modeling and Verification of Real-Time Systems - Master Thesis, University of Tehran, Iran.
  12. M. M. Jaghoori, F.S. de Boer, T. Chothia & M. Sirjani (2007): Task scheduling in Rebeca. In: Proc. Nordic Workshop on Programming Theory (NWPT'07). Extended abstract.
  13. M. M. Jaghoori, F.S. de Boer, T. Chothia & M. Sirjani (2009): Schedulability of Asynchronous Real-Time Concurrent Objects. Logic and Algebraic Programming 78(5), pp. 402–416. A preliminary version appeared in NWPT/FLACOS 2007 as an extended abstract, doi:10.1016/j.jlap.2009.02.009.
  14. Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah & Ali Movaghar (2009): Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca. Acta Informaticae 47(1), pp. 33–66, doi:10.1007/s00236-009-0111-x.
  15. Gilles Kahn (1987): Natural Semantics. In: Franz-Josef Brandenburg, Guy Vidal-Naquet & Martin Wirsing: STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings, Lecture Notes in Computer Science 247. Springer-Verlag, pp. 22–39, doi:10.1007/BFb0039592.
  16. Brian Nielsen & Gul Agha: Semantics for an actor-based real-time language. In: Proceedings of The Fourth International Workshop on Parallel and Distributed Real-Time Systems (WPDRS'96). IEEE Computer Society Press, Los Alamitos, CA, USA, 1996.
  17. Libero Nigro & Francesco Pupo (2001): Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. In: Proc. Concurrent Object-Oriented Programming and Petri Nets, pp. 493–513, doi:10.1007/3-540-45397-0_21.
  18. Peter Csaba Ölveczky & José Meseguer (2002): Specification of real-time and hybrid systems in rewriting logic. Theor. Comput. Sci. 285(2), pp. 359–405, doi:10.1016/S0304-3975(01)00363-2.
  19. G. D. Plotkin (1981): A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19. Computer Science Department, Aarhus University, Aarhus, Denmark.
  20. Shangping Ren & Gul Agha (1995): RT-synchronizer: Language Support for Real-Time Specifications in Distributed Systems. In: Workshop on Languages, Compilers and Tools for Real-Time Systems, pp. 50–59, doi:10.1145/216636.216656.
  21. M. Sirjani, A. Movaghar, A. Shali & F.S. de Boer (2005): Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. Journal of Universal Computer Science 11(6), pp. 1054–1082.
  22. M. Sirjani, A. Movaghar, A. Shali & F.S. de Boer (Dec. 2004): Modeling and Verification of Reactive Systems using Rebeca. Fundamenta Informatica 63(4), pp. 385–410.
  23. Andrew S. Tanenbaum & Maarten van Steen (2007): Distributed systems - principles and paradigms (2. ed.). Pearson Education.
  24. UPPAAL: UPPAAL Homepage. Http://uppaal.com.
  25. Wang Yi (1991): CCS + time = an interleaved model for real time systems. In: Proceedings of ICALP 1991, Lecture Notes in Computer Science 510. Springer-Verlag, pp. 217–228, doi:10.1007/3-540-54233-7_136.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org