The following pages link to José Proença (Q541680):
Displayed 11 items.
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- Implementing hybrid semantics: from functional to imperative (Q2037951) (← links)
- Coordination Models Orc and Reo Compared (Q2866319) (← links)
- Modular Modelling of Software Product Lines with Feature Nets (Q3095246) (← links)
- A Framework for Point-Free Program Transformation (Q3623946) (← links)
- A Refinement Relation for Families of Timed Automata (Q5045465) (← links)
- (Q5150072) (← links)
- 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> (Q5179204) (← links)
- Branching Pomsets for Choreographies (Q6122640) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- Can we communicate? Using dynamic logic to verify team automata (Q6174530) (← links)