Slides explaining the encoding of the  Lingua Franca Operational Semantics in the GEMOC Studio
Channel: Julien Deantoni
Date: 2022-05-14

This video explains how is encoded the Operational Semantics of the Lingua Franca (defined at Berkeley: https://github.com/lf-lang/lingua-franca/) in the GEMOC studio (http://gemoc.org/studio).
* from time 0:00 to time 7:52 shows a Lingua Franca program (its graphical view) and informally explains the basic idea of how the causalities of the semantics are encoded.  
* from time 7:53 to the end it explains how a concurrent operational semantics is actually encoded in the gemoc studio.