Bialgebraic Modelling of Timed Processes

in Proc. ICALP'02, Lecture Notes in Computer Science, volume 2380, Springer-Verlag

Available as:


We give an abstract axiomatic account of timed processes using monoids and their (partial and total) actions. Subsequently, we present categorical formulations thereof, including a novel characterisation of partial monoid actions as coalgebras for an evolution comonad. Adapting the approach of Turi and Plotkin, we then exhibit an abstract theory of well-behaved operational rules suitable for timed processes and, for discrete time, also derive a concrete syntactic format encompassing all rules we found in the literature.

BibTeX entry:

   editor    =   {P.\ Widmayer and F.\ Triguero and R.\ Morales and M.\ Hennessy and S.\ Eidenbenz and R.\ Conejo},
   author    = 	 {M. Kick},
   title     =	 {Bialgebraic Modelling of Timed Processes},
   booktitle = 	 {Proceedings ICALP'02},
   year      = 	 {2002},
   series    = 	 {Lecture Notes in Computer Science},
   volume    =   {2380},
   publisher =   {Springer Verlag},
   note      = 	 {Available from \texttt{}},  

Valid HTML
	  4.01! Marco Kick, < >