Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Rebeca (programming language)
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Formal_methods/tw4FCWIb">Formal methods</a></li> <li><a href="/facts/Model_checking/FwvKMlw9">Model checking</a></li> <li><a href="/facts/SPIN_model_checker/tFmaY1A2">SPIN model checker</a></li></ul> <ul><li>M. Sirjani. Formal Specification and Verification of Concurrent and Reactive Systems, <a href="http://ece.ut.ac.ir/msirjani/publications/SirjaniThesis.pdf">PhD Thesis</a>, Department of Computer Engineering, Sharif University of Technology, December 2004.</li> <li>M. Sirjani, A. Movaghar. An Object-Based Model for Agents, in Proceedings of Workshop on Agents for Information Management, Austrian Computer Society, October 2002.</li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="http://www.rebeca-lang.org">Rebeca Home Page</a></li> <li><a href="http://ece.ut.ac.ir/FML/">Formal Methods Laboratory, University of Tehran</a></li></ul>