A Spatial Logic for Concurrency (Part I)

AuthID
P-000-EKW
2
Author(s)
Cardelli, L
Tipo de Documento
Article
Year published
2003
Publicado
in INFORMATION AND COMPUTATION, ISSN: 0890-5401
Volume: 186, Número: 2, Páginas: 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
Info
At this moment we don't have any links to full text documens.