José Proença

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Realisability of global models of interaction	2024-09-13	Paper
Branching Pomsets for Choreographies Electronic Proceedings in Theoretical Computer Science	2024-03-01	Paper
Branching pomsets: design, expressiveness and applications to choreographies Journal of Logical and Algebraic Methods in Programming	2024-02-12	Paper
Can we communicate? Using dynamic logic to verify team automata Formal Methods	2023-08-17	Paper
Featured Team Automata	2023-04-21	Paper
A refinement relation for families of timed automata Lecture Notes in Computer Science	2022-11-04	Paper
Implementing hybrid semantics: from functional to imperative	2021-07-08	Paper
Coordination via interaction constraints. I: Local logic	2021-02-09	Paper
Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math> Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Coordination models Orc and Reo compared Electronic Notes in Theoretical Computer Science	2013-12-13	Paper
Modular modelling of software product lines with feature nets Software Engineering and Formal Methods	2011-10-28	Paper
Channel-based coordination via constraint satisfaction Science of Computer Programming	2011-06-07	Paper
A Framework for Point-Free Program Transformation Implementation and Application of Functional Languages	2009-04-28	Paper

Research outcomes over time

This page was built for person: José Proença