Rebeca Modeling Language is a programming language created in 2004. Rebeca (acronym for Reactive Objects Language) is an 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. Read more on Wikipedia...
- the Rebeca Modeling Language wikipedia page
- Rebeca Modeling Language first appeared in 2004
- Have a question about Rebeca Modeling Language not answered here? Email me and let me know how I can help.
Last updated January 28th, 2020