where: McConnell 320

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.