Publications

A Spatial Logic for Concurrency

AuthID
P-008-WVK

Author(s)

Caires, L

Cardelli, L

Editor(s)

Naoki Kobayashi 0001; Benjamin C. Pierce

Document Type

Proceedings Paper

Year published

2001

Published

in Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 2215, Pages: 1-37

Conference

4Th International Symposium on Theoretical Aspects of Computer Software, Tacs 2001, Date: 29 October 2001 through 31 October 2001, Sponsors: Association for Computing Machinery - SIGACT;et. al.;Information Processing Society of Japan;Japan Society of Software Science and Technology;Sendai Tourism and Convention Bureau;Tohoku University

Indexing