Rebeca (programming language): Difference between revisions

Revision as of 21:48, 5 March 2009

Revision as of 08:28, 7 March 2009

Line 1:

{{unref}}

'''Rebeca''' (<u>'''Re'''</u>active O<u>'''b'''</u>j<u>'''ec'''</u>ts L<u>'''a'''</u>nguage) is an [[Actor model|actor]]-based [[programming 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.

Line 9 ⟶ 10:

* [[Model checking]]

* [[SPIN model checker]]

== External links ==

Line 15:

[[Category:Logic programming languages]]

{{compu-lang-stub}}