Rebeca (programming language): Difference between revisions

Revision as of 05:05, 24 January 2021

Revision as of 07:14, 24 January 2021

Line 1:

{{No footnotes|date=August 2019}}

{{Notability|date=January 2021}}

'''Rebecca''' (acronym for Reactive Objects Language) is an [[Actor model|actor]]-based [[modeling 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.