From BPEL to SRML: A formal transformational approach

L. Bocchi, Y. Hong, J.L. Fiadeiro, A. Lopes

Research output: Chapter in Book/Report/Conference proceeding › Other contribution

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages	92-107
Number of pages	16
Volume	4937 LNCS
DOIs	https://doi.org/10.1007/978-3-540-79230-7_7
Publication status	Published - 1 Jan 2008

Access to Document

@inbook{323a5ba8fe174132bbbcc70fb783d127,

title = "From BPEL to SRML: A formal transformational approach",

author = "L. Bocchi and Y. Hong and J.L. Fiadeiro and A. Lopes",

year = "2008",

month = jan,

day = "1",

doi = "10.1007/978-3-540-79230-7_7",

language = "English",

volume = "4937 LNCS",

pages = "92--107",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - CHAP

T1 - From BPEL to SRML

T2 - A formal transformational approach

AU - Bocchi, L.

AU - Hong, Y.

AU - Fiadeiro, J.L.

AU - Lopes, A.

PY - 2008/1/1

Y1 - 2008/1/1

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

U2 - 10.1007/978-3-540-79230-7_7

DO - 10.1007/978-3-540-79230-7_7

M3 - Other contribution

AN - SCOPUS:43149092953

VL - 4937 LNCS

SP - 92

EP - 107

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -