A Spatial Logic for Concurrency (Part I)

AuthID
P-000-EKW
2
Author(s)
Cardelli, L
Document Type
Article
Year published
2003
Published
in INFORMATION AND COMPUTATION, ISSN: 0890-5401
Volume: 186, Issue: 2, Pages: 194-235 (42)
Conference
4Th Symposium on Theoretical Aspects of Computer Software, Date: OCT 29-31, 2001, Location: SENDAI, JAPAN
Indexing
Publication Identifiers
DBLP: journals/iandc/CairesC03
SCOPUS: 2-s2.0-0142121530
Wos: WOS:000185794900003
Source Identifiers
ISSN: 0890-5401
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.