Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Sofronie-Stokkermans, Viorica
Stokkermans, Karel

dblp
dblp

Not MPG Author(s):

Stokkermans, Karel

Editor(s):

Ciobanu, Gabriel
Paun, Gheorghe

dblp
dblp

Not MPII Editor(s):

Ciobanu, Gabriel
Paun, Gheorghe

BibTeX cite key*:

Sofronie-Stokkermans1999-fct

Title, Booktitle

Title*:

Modeling Interaction by Sheaves and Geometric Logic


sofronie-stokkermans-fct-1999.ps.gz (92.47 KB)

Booktitle*:

Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99)

Event, URLs

URL of the conference:

http://fct99.infoiasi.ro/

URL for downloading the paper:


Event Address*:

Iasi, Romania

Language:

English

Event Date*
(no longer used):

August, 31 - September, 3 1999

Organization:


Event Start Date:

20 November 2019

Event End Date:

20 November 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

1684

Number:


Month:


Pages:

512-523

Year*:

1999

VG Wort Pages:


ISBN/ISSN:

3-540-66412-2

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

In this paper we show that, given a family of interacting systems, many notions which are important for expressing properties of systems can be modeled as sheaves over a suitable topological space.
In such contexts, geometric logic can be used to test whether ``local'' properties can be lifted to a global level.
We develop a way to use this method in the study of interacting systems, illustrated by examples.

Copyright Message:

Copyright Springer


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



BibTeX Entry:

@INPROCEEDINGS{Sofronie-Stokkermans1999-fct,
AUTHOR = {Sofronie-Stokkermans, Viorica and Stokkermans, Karel},
EDITOR = {Ciobanu, Gabriel and Paun, Gheorghe},
TITLE = {Modeling Interaction by Sheaves and Geometric Logic},
BOOKTITLE = {Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99)},
PUBLISHER = {Springer},
YEAR = {1999},
VOLUME = {1684},
PAGES = {512--523},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Iasi, Romania},
ISBN = {3-540-66412-2},
}


Entry last modified by Viorica Sofronie-Stokkermans, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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
09/16/1999 01:15:12 PM
Revisions
3.
2.
1.
0.
Editor(s)
Viorica Sofronie-Stokkermans
Uwe Brahm
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
06/02/2003 11:37:57 AM
28.03.2000 10:41:43
09/17/99 02:00:46 PM
09/16/99 01:15:12 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:


File Attachment Icon
sofronie-stokkermans-fct-1999.ps.gz