Languages Features Creators CSV Resources Challenges Add Language
GitHub icon

Rebeca Modeling Language

Rebeca Modeling Language - Programming language

< >

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

#1787on PLDB 19Years Old 51Users
0Books 0Papers

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

claire.html 路 rebeca-modeling-language.html 路 clpr.html

View source

- Build the next great programming language Search Day 215 About Blog Acknowledgements Traffic Traffic Today GitHub