Rebeca Actors the Concurrent and Distributed World
۱۷ آذر · Classes

Dr Marjan Sirjani, an ex-professor of our department, showed in this talk a computational model of Rebeca (Reactive Object Language that is an imperative interpretation of actor which is designed as an analyzable modeling language for real-world applications) , the analysis techniques provided for Rebeca models, and extensions for different doains.

Number of Participants: 20