Add to ORKGIn 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
AbstractThis report gives a formal topological semantics to inductively defined concurrent systems a...
International audienceWe show in this article that some concepts from homotopy theory, in algebraic ...
AbstractWe show in this article that some concepts from homotopy theory, in algebraic topology, are ...
In this paper we present an overview of results that show that states, transitions and behavior of c...
In this paper we show that states, transitions and behavior of concurrent systems can often be model...
In this paper we show that states, transitions and behavior of concurrent systems can often be model...
In this paper we show that, given a family of interacting systems, many notions which are important ...
AbstractIn this paper we show that states, transitions and behavior of concurrent systems can often ...
AbstractWe review and extend some recent work that uses sheaf theory to provide a semantic foundatio...
: This paper uses concepts from sheaf theory to explicate phenomena in concurrent systems, including...
This article is intended to provide some new insights about concurrency theory using ideas from geom...
International audienceConcurrency, i.e., the domain in computer science which deals with parallel (a...
AbstractWe propose orthomodular posets, algebraic models of quantum logic, as a formal tool in concu...
Since the 90s, geometric models have been introduced for concurrent programs. In those, a point corr...
In the seminal paper [2] Joyal, Winskel and Nielsen offered a general categor-ical notion of bisimul...
AbstractThis report gives a formal topological semantics to inductively defined concurrent systems a...
International audienceWe show in this article that some concepts from homotopy theory, in algebraic ...
AbstractWe show in this article that some concepts from homotopy theory, in algebraic topology, are ...
In this paper we present an overview of results that show that states, transitions and behavior of c...
In this paper we show that states, transitions and behavior of concurrent systems can often be model...
In this paper we show that states, transitions and behavior of concurrent systems can often be model...
In this paper we show that, given a family of interacting systems, many notions which are important ...
AbstractIn this paper we show that states, transitions and behavior of concurrent systems can often ...
AbstractWe review and extend some recent work that uses sheaf theory to provide a semantic foundatio...
: This paper uses concepts from sheaf theory to explicate phenomena in concurrent systems, including...
This article is intended to provide some new insights about concurrency theory using ideas from geom...
International audienceConcurrency, i.e., the domain in computer science which deals with parallel (a...
AbstractWe propose orthomodular posets, algebraic models of quantum logic, as a formal tool in concu...
Since the 90s, geometric models have been introduced for concurrent programs. In those, a point corr...
In the seminal paper [2] Joyal, Winskel and Nielsen offered a general categor-ical notion of bisimul...
AbstractThis report gives a formal topological semantics to inductively defined concurrent systems a...
International audienceWe show in this article that some concepts from homotopy theory, in algebraic ...
AbstractWe show in this article that some concepts from homotopy theory, in algebraic topology, are ...