Add to ORKGIn 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
In this paper we investigate the use of general topological spaces in connection with a generalised ...
We study the connections between graph models and "wavestyle " Geometry of Interaction (Go...
20 pagee, to be published in the proceedings of LICS08International audienceThe Geometry of Interact...
In this paper we show that, given a family of interacting systems, many notions which are important ...
In this paper we show that states, transitions and behavior of concurrent systems can often be model...
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...
AbstractIn this paper we show that states, transitions and behavior of concurrent systems can often ...
AbstractWe consider the multiplicative and exponential fragment of linear logic (MELL) and give a ge...
Recently, a new logical system linear logic has been developed and come to be used to model various ...
Abstract. We consider the multiplicative and exponential fragment of linear logic (MELL) and give a ...
Sheaf theory provides a means of discussing many different kinds of geometric objects in respect of ...
AbstractWe review and extend some recent work that uses sheaf theory to provide a semantic foundatio...
Interaction graphs were introduced as a general, uniform, construction of dynamic models of linear l...
Girard’s Geometry of Interaction (GoI) is interaction based seman-tics of linear logic proofs and, v...
In this paper we investigate the use of general topological spaces in connection with a generalised ...
We study the connections between graph models and "wavestyle " Geometry of Interaction (Go...
20 pagee, to be published in the proceedings of LICS08International audienceThe Geometry of Interact...
In this paper we show that, given a family of interacting systems, many notions which are important ...
In this paper we show that states, transitions and behavior of concurrent systems can often be model...
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...
AbstractIn this paper we show that states, transitions and behavior of concurrent systems can often ...
AbstractWe consider the multiplicative and exponential fragment of linear logic (MELL) and give a ge...
Recently, a new logical system linear logic has been developed and come to be used to model various ...
Abstract. We consider the multiplicative and exponential fragment of linear logic (MELL) and give a ...
Sheaf theory provides a means of discussing many different kinds of geometric objects in respect of ...
AbstractWe review and extend some recent work that uses sheaf theory to provide a semantic foundatio...
Interaction graphs were introduced as a general, uniform, construction of dynamic models of linear l...
Girard’s Geometry of Interaction (GoI) is interaction based seman-tics of linear logic proofs and, v...
In this paper we investigate the use of general topological spaces in connection with a generalised ...
We study the connections between graph models and "wavestyle " Geometry of Interaction (Go...
20 pagee, to be published in the proceedings of LICS08International audienceThe Geometry of Interact...