Title: Process Calculi and Actor Model: two concurrent models of concurrency or two abstraction levels?
Time: 13:00
Location: Meeting room
Type: Research Talk
Speaker: Silvia Crafa (University of Padova)
Abstract:
The Actor model and Process Calculi are two mathematical models of concurrent computation that share some similarities but diverge in many ways. They both have been proposed in the ’70ies and they evolved “concurrently” with mutual influences. In this talk we will discuss the assets produced by the distinctive key features of the two models, providing insights and trying to device further cross-fertilizations.