7 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.PL2024
Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
Sung-Shik Jongmans
Multiparty session typing (MPST) is a formal method to make concurrent programming simpler. The idea is to use type checking to automatically prove safety (protocol compliance) and…
cs.PL2023
Choreographic Programming of Isolated Transactions
Ton Smeele, Sung-Shik Jongmans
Implementing distributed systems is hard; choreographic programming aims to make it easier. In this paper, we present the design of a new choreographic programming language that su…
cs.PL2022★ 7 cited
Branching Pomsets for Choreographies
Luc Edixhoven, Sung-Shik Jongmans, José Proença +1
Choreographic languages describe possible sequences of interactions among a set of agents. Typical models are based on languages or automata over sending and receiving actions. Pom…