A Spatial Logic for Concurrency

AuthID
P-008-WVK
2
Author(s)
Cardelli, L
2
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
Publication Identifiers
Dblp: conf/tacs/CairesC01
Scopus: 2-s2.0-84978961949
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.