Timed Languages for Discrete-Event Systems 
when: 31 March 2006 at 12:00
where: McConnell 320
presenter: Ernesto Posse
abstract:
In this talk we discuss some relevant issues concerned with modelling formalisms that have a notion of time. We discuss why is it useful to have an explicit notion of time, the difference between "physical" time and "logical" time, some existing formalisms and languages that deal with time, and basic properties that formalisms usually assume with respect to time. We also present the core of a language for concurrent systems that deals with time explicitly and we show an application in traffic modelling.
material: presentation
Maintained by Hans Vangheluwe. Last Modified: 2008/09/14 17:58:57.