José Proença

Available identifiers

Publication	Date of Publication	Type
Realisability of global models of interaction	2024-09-13	Paper
Branching Pomsets for Choreographies	2024-03-01	Paper
Branching pomsets: design, expressiveness and applications to choreographies	2024-02-12	Paper
Can we communicate? Using dynamic logic to verify team automata	2023-08-17	Paper
Featured Team Automata	2023-04-21	Paper
A Refinement Relation for Families of Timed Automata	2022-11-04	Paper
Implementing hybrid semantics: from functional to imperative	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5150072	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>	2015-03-19	Paper
Coordination models Orc and Reo compared	2013-12-13	Paper
Modular Modelling of Software Product Lines with Feature Nets	2011-10-28	Paper
Channel-based coordination via constraint satisfaction	2011-06-07	Paper
A Framework for Point-Free Program Transformation	2009-04-28	Paper

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