@book(Agha86,
 author       = "G. Agha",
 year         = "1990",
 title        = "{Actors}: {A} Model of Concurrent Computation in Distributed Systems",
 publisher    = "MIT Press, Cambridge, MA, USA",
)
@article(Alur1994,
 author       = "R. Alur and D Dill",
 year         = "1994",
 title        = "A Theory of Timed Automata",
 journal      = "Theoretical Computer Science",
 volume       = "126",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@techreport(Baker78actorsystems,
 author       = "Henry Givens Baker",
 year         = "1978",
 title        = "Actor Systems for Real-Time Computation",
 type         = "Technical Report",
 institution  = "MIT",
)
@inproceedings(DBLP:journals/corr/abs-1009-4262,
 author       = "Joakim Bj{\o }rk and Einar Broch Johnsen and Olaf Owe and Rudolf Schlatte",
 year         = "2010",
 title        = "Lightweight Time Modeling in {Timed Creol}",
 booktitle    = "RTRTS",
 pages        = "67--81",
 doi          = "10.4204/EPTCS.36.4",
)
@inproceedings(DBLP:conf/fsen/BoerCJ09,
 author       = "Frank S. de Boer and Tom Chothia and Mohammad Mahdi Jaghoori",
 year         = "2009",
 title        = "Modular Schedulability Analysis of Concurrent Objects in {Creol}",
 booktitle    = "FSEN",
 pages        = "212--227",
 doi          = "10.1007/978-3-642-11623-0\_12",
)
@misc(ErlangSite,
 author       = "{Erlang}",
 title        = "{Erlang Programming Language Homepage}",
 note         = "Http://www.erlang.org",
)
@inproceedings(McErlang,
 author       = "Lars-{\r A}ke Fredlund and Hans Svensson",
 year         = "2007",
 title        = "McErlang: a model checker for a distributed functional programming language",
 booktitle    = "ICFP",
 pages        = "125-136",
 doi          = "10.1145/1291151.1291171",
)
@techreport(Hewitt72,
 author       = "C. Hewitt",
 year         = "1972",
 title        = "Description and Theoretical Analysis (Using Schemata) of {PLANNER}: {A} Language for Proving Theorems and Manipulating Models in a Robot",
 type         = "{MIT} Artificial Intelligence Technical Report",
 number       = "258",
 institution  = "Department of Computer Science, {MIT}",
)
@inproceedings(Hewitt07-commitment,
 author       = "Carl Hewitt",
 year         = "2007",
 title        = "What is Commitment? {Physical}, Organizational, and Social (Revised)",
 booktitle    = "Proceedings of Coordination, Organizations, Institutions, and Norms in Agent Systems II",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer",
 pages        = "293--307",
 doi          = "10.1007/978-3-540-74459-7\_19",
)
@misc(IceRoseSite,
 author       = "{ICEROSE}",
 title        = "{ICEROSE Homepage}",
 note         = "Http://en.ru.is/icerose/applying-formal-methods/projects/TARO",
)
@misc(javadMSThesis2010,
 author       = "Mohammad Javad Izadi",
 year         = "2010",
 title        = "An Actor-based Model for Modeling and Verification of Real-Time Systems - {Master Thesis, University of Tehran, Iran}",
)
@inproceedings(Jaghoori07nwpt,
 author       = "M. M. Jaghoori and F.S. de Boer and T. Chothia and M. Sirjani",
 year         = "2007",
 title        = "Task scheduling in {Rebeca}",
 booktitle    = "Proc. Nordic Workshop on Programming Theory (NWPT'07)",
 note         = "Extended abstract",
)
@article(Jaghoori08jlap,
 author       = "M. M. Jaghoori and F.S. de Boer and T. Chothia and M. Sirjani",
 year         = "2009",
 title        = "Schedulability of Asynchronous Real-Time Concurrent Objects",
 journal      = "Logic and Algebraic Programming",
 volume       = "78",
 number       = "5",
 pages        = "402--416",
 note         = "A preliminary version appeared in NWPT/FLACOS 2007 as an extended abstract",
 doi          = "10.1016/j.jlap.2009.02.009",
)
@article(jaghoor-sirjani-mousavi-movaghar-09-Acta,
 author       = "Mohammad Mahdi Jaghoori and Marjan Sirjani and Mohammad Reza Mousavi and Ehsan Khamespanah and Ali Movaghar",
 year         = "2009",
 title        = "Symmetry and Partial Order Reduction Techniques in Model Checking {Rebeca}",
 journal      = "Acta Informaticae",
 volume       = "47",
 number       = "1",
 pages        = "33--66",
 doi          = "10.1007/s00236-009-0111-x",
)
@inproceedings(Kahn87,
 author       = "Gilles Kahn",
 year         = "1987",
 title        = "Natural Semantics",
 editor       = "Franz-Josef Brandenburg and Guy Vidal-Naquet and Martin Wirsing",
 booktitle    = "STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "247",
 publisher    = "Springer-Verlag",
 pages        = "22--39",
 doi          = "10.1007/BFb0039592",
)
@inproceedings(Nielsen96,
 author       = "Brian Nielsen and Gul Agha",
 title        = "Semantics for an actor-based real-time language",
 booktitle    = "Proceedings of The Fourth International Workshop on Parallel and Distributed Real-Time Systems (WPDRS'96)",
 publisher    = "IEEE Computer Society Press, Los Alamitos, CA, USA, 1996",
)
@inproceedings(NigroP01,
 author       = "Libero Nigro and Francesco Pupo",
 year         = "2001",
 title        = "Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets",
 booktitle    = "Proc. Concurrent Object-Oriented Programming and Petri Nets",
 pages        = "493--513",
 doi          = "10.1007/3-540-45397-0\_21",
)
@article(OlveczkyM02,
 author       = "Peter Csaba {\"O}lveczky and Jos{\'e} Meseguer",
 year         = "2002",
 title        = "Specification of real-time and hybrid systems in rewriting logic",
 journal      = "Theor. Comput. Sci.",
 volume       = "285",
 number       = "2",
 pages        = "359--405",
 doi          = "10.1016/S0304-3975(01)00363-2",
)
@techreport(Plotkin81,
 author       = "G. D. Plotkin",
 year         = "1981",
 title        = "A Structural Approach to Operational Semantics",
 type         = "Technical Report",
 number       = "DAIMI FN-19",
 institution  = "Computer Science Department, Aarhus University",
 address      = "Aarhus, Denmark",
)
@inproceedings(RenA95,
 author       = "Shangping Ren and Gul Agha",
 year         = "1995",
 title        = "{RT-synchronizer}: Language Support for Real-Time Specifications in Distributed Systems",
 booktitle    = "Workshop on Languages, Compilers and Tools for Real-Time Systems",
 pages        = "50--59",
 doi          = "10.1145/216636.216656",
)
@article(Sirjani05JUCS,
 author       = "M. Sirjani and A. Movaghar and A. Shali and F.S. de Boer",
 year         = "2005",
 title        = "Model Checking, Automated Abstraction, and Compositional Verification of {Rebeca} Models",
 journal      = "Journal of Universal Computer Science",
 volume       = "11",
 number       = "6",
 pages        = "1054--1082",
)
@article(Sirjani04FI,
 author       = "M. Sirjani and A. Movaghar and A. Shali and F.S. de Boer",
 year         = "Dec. 2004",
 title        = "Modeling and Verification of Reactive Systems using {Rebeca}",
 journal      = "Fundamenta Informatica",
 volume       = "63",
 number       = "4",
 pages        = "385--410",
)
@book(Tanenbaum2002,
 author       = "Andrew S. Tanenbaum and Maarten van Steen",
 year         = "2007",
 title        = "Distributed systems - principles and paradigms (2. ed.)",
 publisher    = "Pearson Education",
)
@misc(UppaalSite,
 author       = "{UPPAAL}",
 title        = "{UPPAAL Homepage}",
 note         = "Http://uppaal.com",
)
@inproceedings(YiTCCS91b,
 author       = "Wang Yi",
 year         = "1991",
 title        = "{CCS} + time = an interleaved model for real time systems",
 booktitle    = "Proceedings of ICALP 1991",
 series       = "Lecture Notes in Computer Science",
 volume       = "510",
 publisher    = "Springer-Verlag",
 pages        = "217--228",
 doi          = "10.1007/3-540-54233-7\_136",
)