( en | de | ru )

 

Disambiguation of "Fiadeiro, José Luiz"

Author of the publication

copydeleteadd this publication to your clipboard
A Full Operational Semantics for Asynchronous Relational Networks.

, , , and . WADT, volume 9463 of Lecture Notes in Computer Science, page 131-150. Springer, (2014)

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

Algebraic Semantics of Service Component Modules., , and . WADT, volume 4409 of Lecture Notes in Computer Science, page 37-55. Springer, (2006)On the Emergence of Properties in Component-Based Systems.. AMAST, volume 1101 of Lecture Notes in Computer Science, page 421-443. Springer, (1996)A mathematical toolbox for the software architect, and . IWSSD '96: Proc. 8th Int. Workshop on Software Specification and Design, Washington, DC, USA, IEEE Computer Society, (1996)A Formal Approach to Event-Based Architectures., and . FASE, volume 3922 of Lecture Notes in Computer Science, page 18-32. Springer, (2006)Coordination Technologies for Just-in-Time Integration.. 10th Anniversary Colloquium of UNU/IIST, volume 2757 of Lecture Notes in Computer Science, page 308-321. Springer, (2002)An Architectural Approach to Fault Treatment in Critical Infrastructures.. EDCC, volume 2485 of Lecture Notes in Computer Science, page 86-87. Springer, (2002)Knowledgebases as Structured Theories., , and . FSTTCS, volume 338 of Lecture Notes in Computer Science, page 469-486. Springer, (1988)Structured Co-spans: An Algebra of Interaction Protocols., and . CALCO, volume 4624 of Lecture Notes in Computer Science, page 194-208. Springer, (2007)Semantics of Architectural Connectors., and . TAPSOFT, volume 1214 of Lecture Notes in Computer Science, page 505-519. Springer, (1997)A formal model for service-oriented interactions., , and . Sci. Comput. Program., 77 (5): 577-608 (2012)