Sung-Shik Jongmans

Overview of Thirty Semantic Formalisms for Reo

Sung-Shik Jongmans, Farhad Arbab · Scientific Annals of Computer Science · 2012 · 77 citations · Full text

Computing, Computer Science, Computer Systems +15

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures

David Castro, Raymond Hu, Sung-Shik Jongmans et al. · Proceedings of the ACM on Programming Languages · 2019 · 55 citations · Full text

Computing, Computer Engineering, Computer Science +15

Constraint automata with memory cells and their composition

Sung-Shik Jongmans, Tobias Kappé, Farhad Arbab · Science of Computer Programming · 2017 · 16 citations · Full text

Computing, Computer Engineering, Computer Science +14

Global consensus through local synchronization: A formal basis for partially-distributed coordination

Sung-Shik Jongmans, Farhad Arbab · Science of Computer Programming · 2015 · 12 citations · Full text

Computing, Computer Science, Computer Systems +16