Abstract:
In this talk I will review two recent proposals of models of communicating systems based on finite-state automata. The first approach transfer the usual setting of formal choreographic models to finite-state automata for point-to-point message-passing communications. In the talk I will discuss pros and cons with process-algebraic settings. The second approach considers automata for a radically different execution model based on event-notification communications inspired by an industrial scenario.
Bio:
Emilio graduated in 1998 in Computer Science (Informatica) and got his PhD in Computer Science in 2006; both degrees awarded from the department of Computer Science of the University of Pisa.
Emilio leads the group of Formal Methods of the Gran Sasso Science Institute (GSSI, Italy), which he joined in April 2019. Emilio's scientific interests are in the study of formal models for the specification, analysis, and implementation of concurrent and distributed systems.
27/07/2022 14:00
Software Systems
Emilio graduated in 1998 in Computer Science (Informatica) and got his PhD in Computer Science in 2006; both degrees awarded from the department of Computer Science of the University of Pisa.
Emilio leads the group of Formal Methods of the Gran Sasso Science Institute (GSSI, Italy), which he joined in April 2019. Emilio's scientific interests are in the study of formal models for the specification, analysis, and implementation of concurrent and distributed systems.
