TACS   2001 International Conference/Symposium on Theoretical Aspects of Computer Software
Wall of Fame | Most Viewed TACS-2001 Paper
12 years 7 months ago
A Spatial Logic for Concurrency
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
Luís Caires, Luca Cardelli
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.
1Download preprint from source142
2Download preprint from source139
3Download preprint from source139
4Download preprint from source134
5Download preprint from source128
6Download preprint from source126
7Download preprint from source118
8Download preprint from source117
9Download preprint from source114
10Download preprint from source112
11Download preprint from source111
12Download preprint from source108
13Download preprint from source107
14Download preprint from source99
15Download preprint from source93