( en | de | ru )

 

Disambiguation of "Fiadeiro, José Luiz"

Author of the publication

copydeleteadd this publication to your clipboard
From BPEL to SRML: A Formal Transformational Approach.

, , , and . WS-FM, volume 4937 of Lecture Notes in Computer Science, page 92-107. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

José Luiz Rodrigues

José Luiz Piazza

Humberto Jorge José

Thomas Luiz

Nadine José Gonzalez

 

Other publications of authors with the same name

Connectors for Mobile Programs., and . IEEE Trans. Software Eng., 24 (5): 331-341 (1998)Revisiting the Institutional Approach to Herbrand's Theorem., and . CALCO, volume 35 of LIPIcs, page 304-319. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Designing for Software's Social Complexity.. Computer, 40 (1): 34-39 (2007)A Compositional Approach to Connector Construction., , and . WADT, volume 2267 of Lecture Notes in Computer Science, page 201-220. Springer, (2001)Algebraic Semantics of Design Abstractions for Context-Awareness., and . WADT, volume 3423 of Lecture Notes in Computer Science, page 79-93. Springer, (2004)Preservation and Reflection in Specification., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 380-394. Springer, (1997)Describing, Structuring and Implementing Objects., and . REX Workshop, volume 489 of Lecture Notes in Computer Science, page 274-310. Springer, (1990)A Model-Checking Approach for Service Component Architectures., , , and . FMOODS/FORTE, volume 5522 of Lecture Notes in Computer Science, page 219-224. Springer, (2009)Categories for software engineering.. Springer, (2005)On local modularity and interpolation in entailment systems., , and . Inf. Process. Lett., 82 (4): 203-211 (2002)