A formal model for service-oriented interactions

José Fiadeiro; Antónia Lopes; João Abreu

doi:10.1016/j.scico.2011.12.003

A formal model for service-oriented interactions

José Fiadeiro, Antónia Lopes, João Abreu

Department of Computer Science

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

301 Downloads (Pure)

Original language	English
Pages (from-to)	577-608
Number of pages	32
Journal	Science of Computer Programming
Volume	77
Issue number	5
Early online date	31 Dec 2011
DOIs	https://doi.org/10.1016/j.scico.2011.12.003
Publication status	Published - 1 May 2012

Access to Document

10.1016/j.scico.2011.12.003

PaperSubmitted manuscript, 1.15 MB

http://www.sciencedirect.com/science/article/pii/S0167642311002255

Cite this

@article{a3d3b2f0f7344786bc6562bf16efa1a8,

title = "A formal model for service-oriented interactions",

author = "Jos{\'e} Fiadeiro and Ant{\'o}nia Lopes and Jo{\~a}o Abreu",

year = "2012",

month = may,

day = "1",

doi = "10.1016/j.scico.2011.12.003",

language = "English",

volume = "77",

pages = "577--608",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "5",

}

TY - JOUR

T1 - A formal model for service-oriented interactions

AU - Fiadeiro, José

AU - Lopes, Antónia

AU - Abreu, João

PY - 2012/5/1

Y1 - 2012/5/1

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84857915198&partnerID=8YFLogxK

U2 - 10.1016/j.scico.2011.12.003

DO - 10.1016/j.scico.2011.12.003

M3 - Article

AN - SCOPUS:84857915198

SN - 0167-6423

VL - 77

SP - 577

EP - 608

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 5

ER -

A formal model for service-oriented interactions

Access to Document

Other files and links

Cite this