Connexion

English version

PPS UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes

Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²

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

2009-2010


Archive des années précédentes