Coordination via Interaction Constraints I: Local Logic

by Dave Clarke, José Proença
Published 2009-12-01

A Procedure for Splitting Processes and its Application to Coordination

by Sung-Shik T.Q. Jongmans, Dave Clarke, José Proença
Published 2012-08-01

Decoupled execution of synchronous coordination models via behavioural automata

by José Proença, Dave Clarke, Erik de Vink, Farhad Arbab
Published 2011-07-01

Hospital Inefficiency: What is the Impact of Membership in Different Types of Systems?

by Michael D. Rosko, Jose Proenca, Jacqueline S. Zinn, Gloria J. Bazzoli
Published 2007-08-01

Manifestaciones cutáneas de endocarditis infecciosa en un paciente anciano

by Isabel de la Cal Caballero, Pedro Lito, Diana Abreu, Bruno Rodrigues, José Proença
Published 2020-11-01

Giant Cystic Mediastinal Lymphangioma

by Ana Catarina Dionísio, Ricardo Gomes, Eduardo Cernadas, Isabel Caballero, José Proença, Didia Lages, Leopoldina Vicente
Published 2019-12-01

Lupus eritematoso cutáneo subagudo en un anciano

by Isabel de la Cal Caballero, Ricardo Gomes, Ana Catarina Dionísio, Ana Patrícia Castanheira Gomes, Dídia Lages, Pedro Lito, José Proença
Published 2021-04-01