Agenda

08 Nov 2016 13:00

Multi-Step Discrete Time Process Algebra (MuPA)

Campus Scientifico via Torino - edificio ZETA, Sala Riunioni

Filippo Cavallin, Università Ca' Foscari Venezia

Abstract:
We consider Discrete Time Markov Chains with synchronous behaviour, i.e. models in which multiple events may occur at each recorded time in the model. This is based on a conceptual model in which the discrete times are sampling points when the system is observed and at each instant all events that have occurred since the previous observation point will be noted. We propose the first process algebra which is capable of capturing such systems and demonstrate its application to discrete time queues both in isolation and forming networks.

Lingua

L'evento si terrà in italiano

Organizzatore

ACADIA Research centre

Cerca in agenda