From BPEL to SRML : A formal transformational approach. / Bocchi, L.; Hong, Y.; Fiadeiro, J.L.; Lopes, A.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4937 LNCS 2008. p. 92-107.

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Published

Standard

From BPEL to SRML : A formal transformational approach. / Bocchi, L.; Hong, Y.; Fiadeiro, J.L.; Lopes, A.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4937 LNCS 2008. p. 92-107.

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Harvard

Bocchi, L, Hong, Y, Fiadeiro, JL & Lopes, A 2008, From BPEL to SRML: A formal transformational approach. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 4937 LNCS, pp. 92-107. https://doi.org/10.1007/978-3-540-79230-7_7

APA

Bocchi, L., Hong, Y., Fiadeiro, J. L., & Lopes, A. (2008). From BPEL to SRML: A formal transformational approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4937 LNCS, pp. 92-107) https://doi.org/10.1007/978-3-540-79230-7_7

Vancouver

Bocchi L, Hong Y, Fiadeiro JL, Lopes A. From BPEL to SRML: A formal transformational approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4937 LNCS. 2008. p. 92-107 https://doi.org/10.1007/978-3-540-79230-7_7

Author

Bocchi, L. ; Hong, Y. ; Fiadeiro, J.L. ; Lopes, A. / From BPEL to SRML : A formal transformational approach. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4937 LNCS 2008. pp. 92-107

BibTeX

@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)",

}

RIS

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 -