Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
didattica:magistrale:dcc:ay_2021:main [2020/09/29 10:17] emanuela [Course Objectives] |
didattica:magistrale:dcc:ay_2021:main [2020/09/29 10:18] (current) emanuela [Course Objectives] |
||
|---|---|---|---|
| Line 37: | Line 37: | ||
| - the automata-based modelling and forma languages (FSMs) | - the automata-based modelling and forma languages (FSMs) | ||
| - the process-based modelling and algebraic languages (CCS) | - the process-based modelling and algebraic languages (CCS) | ||
| - | - the agent-based modelling and coordination languages (Klaim) | + | - the agent-based modelling and coordination languages (Klaim, Linda) |
| D2 - APPLYING KNOWLEDGE AND UNDERSTANDING | D2 - APPLYING KNOWLEDGE AND UNDERSTANDING | ||
