### Skapa referens, olika format (klipp och klistra)

**Harvard**

Hancock, P. och Hyvernat, P. (2006) *Programming interfaces and basic topology*.

** BibTeX **

@article{

Hancock2006,

author={Hancock, P. and Hyvernat, Pierre},

title={Programming interfaces and basic topology},

journal={Annals of Pure and Applied Logic},

issn={01680072 },

volume={137},

issue={1-3},

pages={189-239},

abstract={A pattern of interaction that arises again and again in programming is a "handshake", in which two agents exchange data. The exchange is thought of as provision of a service. Each interaction is initiated by a specific agent-the client or Angel-and concluded by the other-the server or Demon. We present a category in which the objects-called interaction structures in the paper-serve as descriptions of services provided across such handshaken interfaces. The morphisms-called (general) simulations-model components that provide one such service, relying on another. The morphisms are relations between the underlying sets of the interaction structures. The proof that a relation is a simulation can serve (in principle) as an executable program, whose specification is that it provides the service described by its domain, given an implementation of the service described by its codomain. This category is then shown to coincide with the subcategory of "generated" basic topologies in Sambin's terminology, where a basic topology is given by a closure operator whose induced suplattice structure need not be distributive; and moreover, this operator is inductively generated from a basic cover relation. This coincidence provides topologists with a natural source of examples for non-distributive formal topology. It raises a number of questions of interest both for formal topology and programming. The extra structure needed to make such a basic topology into a real formal topology is then interpreted in the context of interaction structures. },

year={2006},

}

** RefWorks **

RT Journal Article

SR Electronic

ID 102668

A1 Hancock, P.

A1 Hyvernat, Pierre

T1 Programming interfaces and basic topology

YR 2006

JF Annals of Pure and Applied Logic

SN 01680072

VO 137

IS 1-3

SP 189

OP 239

AB A pattern of interaction that arises again and again in programming is a "handshake", in which two agents exchange data. The exchange is thought of as provision of a service. Each interaction is initiated by a specific agent-the client or Angel-and concluded by the other-the server or Demon. We present a category in which the objects-called interaction structures in the paper-serve as descriptions of services provided across such handshaken interfaces. The morphisms-called (general) simulations-model components that provide one such service, relying on another. The morphisms are relations between the underlying sets of the interaction structures. The proof that a relation is a simulation can serve (in principle) as an executable program, whose specification is that it provides the service described by its domain, given an implementation of the service described by its codomain. This category is then shown to coincide with the subcategory of "generated" basic topologies in Sambin's terminology, where a basic topology is given by a closure operator whose induced suplattice structure need not be distributive; and moreover, this operator is inductively generated from a basic cover relation. This coincidence provides topologists with a natural source of examples for non-distributive formal topology. It raises a number of questions of interest both for formal topology and programming. The extra structure needed to make such a basic topology into a real formal topology is then interpreted in the context of interaction structures.

LA eng

DO 10.1016/j.apal.2005.05.022

LK http://dx.doi.org/10.1016/j.apal.2005.05.022

OL 30