The following pages link to Sung-Shik Jongmans (Q347370):
Displaying 7 items.
- Combine and conquer: relating BIP and Reo (Q347371) (← links)
- Balanced-by-construction regular and \(\omega \)-regular languages (Q832929) (← links)
- Formalizing propagation of priorities in Reo, using eight colors (Q2028748) (← links)
- Data optimizations for constraint automata (Q2974782) (← links)
- Branching Pomsets for Choreographies (Q6122640) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- Balanced-by-Construction Regular and ω-Regular Languages (Q6169961) (← links)
