Title of article
Coalgebraic semantics for timed processes
Author/Authors
Marco Kick، نويسنده , , John Power، نويسنده , , Alex Simpson، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
22
From page
588
To page
609
Keywords
Time domains , Timed transition systems , Evolution comonads , Delay operators , Structural operationalsemantics , modularity , Distributive laws
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262341
Link To Document