Sciweavers

Share
IANDC   2006
Wall of Fame | Most Viewed IANDC-2006 Paper
IANDC
2006
126views more  IANDC 2006»
8 years 8 months ago
Coalgebraic semantics for timed processes
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
Marco Kick, John Power, Alex Simpson
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source126
2Download preprint from source121
3Download preprint from source117
4Download preprint from source117
5Download preprint from source113
6Download preprint from source103
7Download preprint from source102
8Download preprint from source102
9Download preprint from source101
10Download preprint from source99
11Download preprint from source97
12Download preprint from source95
13Download preprint from source93
14Download preprint from source93
15Download preprint from source86
16Download preprint from source83
17Download preprint from source82
18Download preprint from source81
19Download preprint from source79
20Download preprint from source78
21Download preprint from source77
22Download preprint from source77
23Download preprint from source69
24Download preprint from source67
25Download preprint from source63
26Download preprint from source52
books