José Proença

Available identifiers

zbMath Open proenca.joseMaRDI QIDQ541680

List of research outcomes

Publication	Date of Publication	Type
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
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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