Publications

A Concurrent Programming Language with Refined Session Types

AuthID
P-009-HKG

Author(s)

Franco, J

Vasconcelos, VT

Document Type

Proceedings Paper

Year published

2014

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 8368 LNCS, Pages: 15-28

Conference

11Th International Conference on Software Engineering and Formal Methods, Sefm 2013 - Collocated Workshops: Beat2, Ws-Fmds, Fm-Rail-Bok, Mokmasd, and Opencert, Date: 23 September 2014 through 24 September 2014, Location: Madrid

Indexing