Publications

Analysis of Service Oriented Software Systems with the Conversation Calculus

AuthID
P-008-22E

Author(s)

Caires, L

Vieira, HT

Editor(s)

Luís Soares Barbosa; Markus Lumpe

Document Type

Proceedings Paper

Year published

2012

Published

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

Volume: 6921 LNCS, Pages: 6-33

Conference

7Th International Workshop on Formal Aspects of Component Software, Facs 2010, Date: 14 October 2010 through 16 October 2010, Location: Guimaraes, Sponsors: Science and Technology Foundation (FCT);Centro de Ciencias e Tecnologias de Computacao (CCTC);School of Engineering of Minho University (EEUM);United Nations Univ., Int. Inst. Softw. Technol. (UNU-IIST)

Indexing