From Architectural to Behavioural Specification of Services. / Bocchi, L.; Fiadeiro, J.L.; Lapadula, A.; Pugliese, R.; Tiezzi, F.

In: Electronic Notes in Theoretical Computer Science, Vol. 253, No. 1, 06.10.2009, p. 3-21.

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)3-21
Number of pages19
JournalElectronic Notes in Theoretical Computer Science
Issue number1
Publication statusPublished - 6 Oct 2009
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7189169