Rebeca (programming language)
id:
rebeca-programming-language-323-14300488
title:
Rebeca (programming language)
text:
Rebeca 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. Besides having an appropriate and efficient way for modeling concurrent and distributed systems, one needs a formal ve
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Rebeca_(programming_language)
date created:
date modified:
2023-08-11T23:22:24Z
main entity:
{"identifier":"Q7301633","url":"https://www.wikidata.org/entity/Q7301633"}
image:
fields total:
13
integrity:
13