( en | de | ru )

 

Disambiguation of "Fiadeiro, José Luiz"

Author of the publication

copydeleteadd this publication to your clipboard
The INFOLOG linear tense propositional logic of events and transactions.

, and . Inf. Syst., 11 (1): 61-85 (1986)

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

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)Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality., and . SIGSOFT FSE, page 72-80. ACM, (1995)Preface., and . Theor. Comput. Sci., 366 (1-2): 1-2 (2006)A formal model for service-oriented interactions., , and . Sci. Comput. Program., 77 (5): 577-608 (2012)Problem Frames: A Case for Coordination., , , , and . COORDINATION, volume 2949 of Lecture Notes in Computer Science, page 5-19. Springer, (2004)A Model for Dynamic Reconfiguration in Service-Oriented Architectures., and . ECSA, volume 6285 of Lecture Notes in Computer Science, page 70-85. Springer, (2010)A Mathematical Toolbox for the Software Architec., and . IWSSD, page 46-55. IEEE Computer Society, (1996)Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility., and . IWSSD, page 135-143. IEEE Computer Society, (1998)Algebraic Software Architecture Reconfiguration., and . ESEC / SIGSOFT FSE, volume 1687 of Lecture Notes in Computer Science, page 393-409. Springer, (1999)Many-Valued Institutions for Constraint Specification., , and . FASE, volume 9633 of Lecture Notes in Computer Science, page 359-376. Springer, (2016)