From Architectural to Behavioural Specification of Services

L. Bocchi; J.L. Fiadeiro; A. Lapadula; R. Pugliese; F. Tiezzi

doi:10.1016/j.entcs.2009.09.025

From Architectural to Behavioural Specification of Services

L. Bocchi, J.L. Fiadeiro, A. Lapadula, R. Pugliese, F. Tiezzi

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	3-21
Number of pages	19
Journal	Electronic Notes in Theoretical Computer Science
Volume	253
Issue number	1
DOIs	https://doi.org/10.1016/j.entcs.2009.09.025
Publication status	Published - 6 Oct 2009

Access to Document

10.1016/j.entcs.2009.09.025

Cite this

@article{a071afc0f6e042b18e8dc89f4312c3d4,

title = "From Architectural to Behavioural Specification of Services",

author = "L. Bocchi and J.L. Fiadeiro and A. Lapadula and R. Pugliese and F. Tiezzi",

year = "2009",

month = oct,

day = "6",

doi = "10.1016/j.entcs.2009.09.025",

language = "English",

volume = "253",

pages = "3--21",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - From Architectural to Behavioural Specification of Services

AU - Bocchi, L.

AU - Fiadeiro, J.L.

AU - Lapadula, A.

AU - Pugliese, R.

AU - Tiezzi, F.

PY - 2009/10/6

Y1 - 2009/10/6

UR - http://www.scopus.com/inward/record.url?scp=70349326319&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2009.09.025

DO - 10.1016/j.entcs.2009.09.025

M3 - Article

AN - SCOPUS:70349326319

SN - 1571-0661

VL - 253

SP - 3

EP - 21

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 1

ER -

From Architectural to Behavioural Specification of Services

Access to Document

Other files and links

Cite this