Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
THE CONCURRENCY COLUMN School of Computer Science, Reykjavik University
 

Summary: THE CONCURRENCY COLUMN
BY
LUCA ACETO
School of Computer Science, Reykjavik University
Kringlan 1,103 Reykjavik, Iceland
luca@ru.is, http://www.ru.is/faculty/luca
This installment of the concurrency column is devoted to a piece by Vasco
Thudichum Vasconcelos on the topic of session types. Vasco has been one of
the original proposers of the notion of session type in order to specify the al-
lowed interactions between two parallel processes communicating by means
of message passing. Since that early work, the notion of session type has
proved to be very flexible and fruitful. The literature on session types is al-
ready very substantial and is growing fast. I hope that Vasco's contribution to
the Concurrency Column will prove useful to researchers who are interested
in understanding the ideas behind session types and their range of possible
applications.
1
SESSIONS, FROM TYPES TO PROGRAMMING
LANGUAGES
Vasco T. Vasconcelos

  

Source: Aceto, Luca - School of Computer Science, Reykjavík University

 

Collections: Mathematics; Computer Technologies and Information Sciences