Extended Rebeca: A component-based actor language with synchronous message passing

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2005, Issue , 2005, Pages 212-220

  Sirjani, Marjan ^a,b   De Boer, Frank ^c   Movaghar, Ali ^b,d   Shali, Amin ^a  

^a UNIVERSITY OF TEHRAN   (Iran)

^b INSTITUTE FOR STUDIES IN THEORETICAL PHYSICS AND MATHEMATICS IPM   (Iran)

^c CWI   (Netherlands)

^d SHARIF UNIVERSITY OF TECHNOLOGY   (Iran)

Author keywords

Component; Modular verification; Reactive systems; Rebeca; The actor model

Indexed keywords

ABSTRACTING; COMPUTATION THEORY; CONCURRENT ENGINEERING; DISTRIBUTED COMPUTER SYSTEMS; SEMANTICS;

COMPONENT; MODULAR VERIFICATION; REACTIVE SYSTEMS; REBECA; THE ACTOR MODEL;

COMPUTER PROGRAMMING LANGUAGES;

EID: 29144526380     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2005.12     Document Type: Conference Paper

References (3)

1. NuSMV user manual. Availabe through http://nusmv.irst.itc.it/NuSMV/userman/indexv2.html.
2. Rebeca Home Page. Available through http://khorshid. ut. ac. ir/~rebeca.
3. Spin user manual. Available through http://netlib.bell-labs.com/netlib/spin/whatisspin.html.