steve Gargantini, Angelo Morzenti, Angelo Riccobene, Elvinia

Using Counters to Model Temporal Relationships Among Events

in Proc. of ST.EVE, Satellite Workshop of FM 03, September 2003, Pisa, Italy (2003)

In this paper we propose a formalization using state variables like counters to model temporal relationships among events. We prove that the proposed method is correct. We show that counters are more suitable to prove properties and to implement events relationships by means of a programming language.

[download the pdf file]

My sw links