Tölvunarfræðideild

Viðburðir

ICE-TCS Lectures Series - Marjan Sirjani - The Coordination Language Reo, its Formal Semantics and Analysis Techniques


MarjanFriday, 10 September, Marjan Sirjani (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is a tutorial entitled The Coordination Language Reo, its Formal Semantics and Analysis Techniques, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1).



Abstract

In this talk I'll explain the coordination language, Reo. Then, I'll give an overview of its formal semantics, based on Constraint Automata. Some analysis techniques for Reo and Constraint Automata will be presented.