Tags: Programming Language.

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.

Loading...

This page contains content from the copyrighted Wikipedia article "Rebeca Modeling Language"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.