Publications

Conversation Types

AuthID
P-003-RV7

Author(s)

Caires, L

Vieira, HT

Editor(s)

Castagna, G

Document Type

Proceedings Paper

Year published

2009

Published

in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5502, Pages: 285-300 (16)

Conference

15Th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Held at Joint European Conferences on Theory and Practice of Software, Date: MAR 22-29, 2009, Location: York, ENGLAND, Sponsors: European Assoc Theoret Comp Sci, European Assoc Programming Language & Syst, European Assoc Software Sci & Technol, ERICM, Microsoft Res, Rolls Royce, Host: Univ York

Indexing