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.
English language | French language | Spanish language | German language | Italian language | Russian language | Greek language | Arabic language | Portuguese language | Chinese language | Swedish language | Japanese language | Turkish language | Tamil language | Dutch language | Persian language | Hebrew language | Hungarian language | Irish language | Bengali language | Polish language | Telugu language | Korean language | Welsh language | Java (programming language) | Czech language | Serbian language | Catalan language | Finnish language | Academy Award for Best Foreign Language Film |