MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Sofronie-Stokkermans, Vioricadblp
Editor(s):
BibTeX cite key*:
Sofronie-Stokkermans-getco-06
Title, Booktitle
Title*:
Sheaves and geometric logic in concurrency
Booktitle*:
Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006)
Event, URLs
Conference URL::
http://www.math.aau.dk/~uli/getco06/
Downloading URL:
Event Address*:
Bonn, Germany
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
26 August 2006
Event End Date:
26 August 2006
Publisher
Name*:
-
URL:
Address*:
-
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
August
Pages:
?
Year*:
2006
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
In this paper we present an overview of results that show that
states, transitions and behavior of concurrent systems
can often be modeled as sheaves over a suitable topological space.
In such contexts, geometric logic can be used to test whether
(and describe which) local properties, of individual systems,
are preserved, at a global level, when interconnecting the systems.
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort, CCL bibliography



BibTeX Entry:
@INPROCEEDINGS{Sofronie-Stokkermans-getco-06,
AUTHOR = {Sofronie-Stokkermans, Viorica},
 TITLE = {Sheaves and geometric logic in concurrency},
 BOOKTITLE = {Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006)},
 PUBLISHER = {-},
 YEAR = {2006},
 PAGES = {?},
 ADDRESS = {Bonn, Germany},
 MONTH = {August},
}

Entry last modified by Viorica Sofronie-Stokkermans, 11/09/2006
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Viorica Sofronie-Stokkermans		Created
11/09/2006 04:38:53 PM
Revision
0.



Editor
Viorica Sofronie-Stokkermans



Edit Date
11/09/2006 04:38:53 PM