Groupe de travail Analyse et Conception de Systèmes

Jeudi à 14h en salle 1007 - Bâtiment Sophie Germain

PROCHAIN EXPOSE:

Jeudi 28 Février

Silvia Crafa (Padova)

Process Calculi and Actor model: two concurrent models of concurrency or two abstraction levels?

———————————–

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. "Causality in the Sciences: A Gentle Introduction"====

Anciens exposés:

2012-2013

• 21/03 Causality in the Sciences: A Gentle Introduction - Federica Russo, Bruxelles

2009-2010

• 06/05 - Trace Syntax and Semantics for True Concurrency - Dan Teodosiu, VirtuOz
• 29/04 - On the expressiveness of higher order communication - Cinzia Di Giusto, INRIA Grenoble
• 18/03 - Approximation, optimization and synthesis of stochastic processes - Sylvain Pradalier, LiX
• 04/03 - Terminaison dans un langage concurrent impur - Romain Demangeon, ENS Lyon
• 28/01 - A Minimization Algorithm for Symbolic Bisimilarity - Filippo Bonchi, CWI et LiX
• 18/12 - Synchronization of Markov Chains- Samy Abbes, PPS

Archive des années précédentes