Revision as of 21:51, 31 March 2009 edit Amshali (talk \| contribs) 73 edits →External links ← Previous edit		Revision as of 23:02, 31 March 2009 edit undo Amshali (talk \| contribs) 73 edits →References Next edit →
Line 5: == References == * M. Sirjani. Formal Specification and Verification of Concurrent and Reactive Systems, [http://ece.ut.ac.ir/msirjani/publications/SirjaniThesis.pdf PhD Thesis], Department of Computer Engineering, Sharif University of Technology, December 2004. * M. Sirjani, A. Movaghar. An Object-Based Model for Agents, in Proceedings of Workshop on Agents for Information Management, Austrian Computer Society, October 2002. == See also ==

Rebeca (programming language): Difference between revisions