Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School. NATO ASI Series F, SpringerVerlag, 1995.
 

Summary: Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School. NATO ASI
Series F, Springer­Verlag, 1995.
Interaction Categories and the Foundations of
Typed Concurrent Programming
Samson Abramsky, Simon Gay and Rajagopal Nagarajan
Department of Computing,
Imperial College of Science, Technology and Medicine,
180 Queen's Gate,
London SW7 2BZ, UK.
email: fsa,sjg3,rn4g@doc.ic.ac.uk
Tutorial notes on Samson Abramsky's Interaction Categories, based on [3, 6] and incor­
porating additional material by Simon Gay and Raja Nagarajan in Sections 3.4, 5.2, 5.3,
5.4 and 6.3.
Abstract. We propose Interaction Categories as a new paradigm for the semantics of
functional and concurrent computation. Interaction categories have specifications as ob­
jects, processes as morphisms, and interaction as composition. We introduce two key
examples of interaction categories for concurrent computation and indicate how a general
axiomatisation can be developed. The upshot of our approach is that traditional process
calculus is reconstituted in functorial form, and integrated with type theory and functional
programming.

  

Source: Abramsky, Samson - Computing Laboratory, University of Oxford

 

Collections: Computer Technologies and Information Sciences