Sciweavers

Share
IANDC   2007
Wall of Fame | Most Viewed IANDC-2007 Paper
IANDC
2007
152views more  IANDC 2007»
9 years 10 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
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 source152
2Download preprint from source151
3Download preprint from source133
4Download preprint from source132
5Download preprint from source127
6Download preprint from source126
7Download preprint from source123
8Download preprint from source117
9Download preprint from source111
10Download preprint from source107
11Download preprint from source106
12Download preprint from source106
13Download preprint from source96
14Download preprint from source94
15Download preprint from source85
16Download preprint from source84
17Download preprint from source83
18Download preprint from source81
19Download preprint from source77
20Download preprint from source76
21Download preprint from source74
22Download preprint from source66
23Download preprint from source66
24Download preprint from source62
25Download preprint from source52
books