( en | de | ru )

 

Disambiguation of "Proença, José"

Author of the publication

copydeleteadd this publication to your clipboard
Coordination Models Orc and Reo Compared.

, and . FOCLASA, volume 194 of Electronic Notes in Theoretical Computer Science, page 57-76. Elsevier, (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é Aleixo Sousa Proença

Humberto Jorge José

Nadine José Gonzalez

José Navarrete

José Schneider

 

Other publications of authors with the same name

Feature Nets: behavioural modelling of software product lines., , and . Softw. Syst. Model., 15 (4): 1181-1206 (2016)Composing Families of Timed Automata., , and . FSEN, volume 10522 of Lecture Notes in Computer Science, page 51-66. Springer, (2017)Coordination of Tasks on a Real-Time OS., , , and . COORDINATION, volume 11533 of Lecture Notes in Computer Science, page 250-266. Springer, (2019)Feature Petri Nets., , and . SPLC Workshops, page 99-106. Lancaster University, (2010)Reconfiguration of Reo Connectors Triggered by Dataflow., , , and . ECEASST, (2008)The VALU3S ECSEL project: Verification and validation of automated systems safety and security., , , , , , , , , and 9 other author(s). Microprocess. Microsystems, (November 2021)Hubs for VirtuosoNext: Online verification of real-time coordinators., , , and . Sci. Comput. Program., (2021)Branching Pomsets for Choreographies., , , and . ICE, volume 365 of EPTCS, page 37-52. (2022)Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems., , , , and . RSSRail, volume 13294 of Lecture Notes in Computer Science, page 83-94. Springer, (2022)Coordination Models Orc and Reo Compared., and . FOCLASA, volume 194 of Electronic Notes in Theoretical Computer Science, page 57-76. Elsevier, (2007)