Rebeca Modeling Language - Programming language

Rebeca Modeling Language is a programming language created in 2004 by Marjan Sirjani.

#1446on PLDB

20Years Old

Download source code:

git clone https://github.com/rebeca-lang/org.rebecalang.compiler

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...

Tags: programming language
Rebeca Modeling Language is developed on GitHub and has 3 stars
Early development of Rebeca Modeling Language happened in Sharif University of Technology
Rebeca Modeling Language is written in Java, XSD, XML, YAML, Markdown
Read more about Rebeca Modeling Language on the web: 1. 2.