Sung-Shik Jongmans | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Fabrizio Montesi
29 publications
Luís Cruz-Filipe
16 publications
Jose Proença
6 publications
Farhad Arbab
6 publications
Luc Edixhoven
3 publications
Guillermina Cledou
2 publications
Ton Smeele
1 publication

research

∙ 04/13/2023

Choreographic Programming of Isolated Transactions

Implementing distributed systems is hard; choreographic programming aims...

0 Ton Smeele, et al. ∙

research

∙ 08/09/2022

Branching Pomsets for Choreographies

Choreographic languages describe possible sequences of interactions amon...

0 Luc Edixhoven, et al. ∙

research

∙ 04/24/2018

Connectors meet Choreographies

We present Cho-Reo-graphies (CR), a new language model that unites two p...

0 Farhad Arbab, et al. ∙