Rebeca (programming language): Difference between revisions

Revision as of 13:52, 17 July 2006

Revision as of 21:10, 6 November 2006

Line 1:

{{linkless|November 2006}}

'''Rebeca''' (<u>'''Re'''</u>active O<u>'''b'''</u>j<u>'''ec'''</u>ts L<u>'''a'''</u>nguage) is an actor-based language with a formal foundation, designed in an effort to bridge the gap between formal verification approaches and real applications. It can be considered as a reference model for concurrent computation, based on an operational interpretation of the actor model. It is also a platform for developing object-based concurrent systems in practice.

<br/>

Line 5 ⟶ 6:

== External links ==

* [http://khorshid.ut.ac.ir/~rebeca/ Rebeca Homepage]

{{compu-lang-stub}}

[[Category:Programming languages]]

{{compu-lang-stub}}