Volgen
Sung-Shik Jongmans
Sung-Shik Jongmans
Open University of the Netherlands; Centrum Wiskunde & Informatica
Geverifieerd e-mailadres voor ou.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Overview of Thirty Semantic Formalisms for Reo
SS Jongmans, F Arbab
Scientific Annals of Computer Science 22 (1), 201-251, 2012
1042012
Distributed Programming using Role-Parametric Session Types in Go
D Castro, R Hu, SS Jongmans, N Ng, N Yoshida
Proceedings of the ACM on Programming Languages 3 (POPL 2019), 29:1-30, 2019
74*2019
Automatic Code Generation for the Orchestration of Web Services with Reo
SS Jongmans, F Santini, M Sargolzaei, F Arbab, H Afsarmanesh
European Conference on Service-Oriented and Cloud Computing (ESOCC 2012 …, 2012
522012
Global consensus through local synchronization: A formal basis for partially-distributed coordination
SS Jongmans, F Arbab
Science of Computer Programming 115, 199-224, 2016
33*2016
Model Checking Agent Programs by Using the Program Interpreter
SS Jongmans, K Hindriks, B van Riemsdijk
International Workshop on Computational Logic in Multi-Agent Systems (CLIMA …, 2010
312010
Partially-Distributed Coordination with Reo
SS Jongmans, F Santini, F Arbab
International Euromicro Conference on Parallel, Distributed and Network …, 2014
302014
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code
SS Jongmans, F Santini, M Sargolzaei, F Arbab, H Afsarmanesh
Service Oriented Computing and Applications 8 (4), 277-297, 2013
292013
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models
SS Jongmans, C Krause, F Arbab
International Conference on Coordination Models and Languages (COORDINATION …, 2011
272011
Automata-Theoretic Protocol Programming
SS Jongmans
PhD thesis, Leiden University, 2016
25*2016
Global Consensus through Local Synchronization
SS Jongmans, F Arbab
International Workshop on Foundations of Coordination Languages and Self …, 2013
24*2013
Modularizing and Specifying Protocols among Threads
SS Jongmans, F Arbab
International Workshop on Programming Language Approaches to Concurrency and …, 2013
242013
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
SS Jongmans, N Yoshida
European Symposium on Programming (ESOP 2020), LNCS 12075, 251-279, 2020
222020
Constraint automata with memory cells and their composition
SS Jongmans, T Kappé, F Arbab
Science of Computer Programming 146, 50-86, 2017
202017
A Predicate Transformer for Choreographies
SS Jongmans, P van den Bos
European Symposium on Programming (ESOP 2022), LNCS 13240, 520-547, 2022
19*2022
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms
SS Jongmans, S Halle, F Arbab
International Conference on Coordination Models and Languages (COORDINATION …, 2014
192014
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
G Cledou, L Edixhoven, SS Jongmans, J Proença
European Conference on Object-Oriented Programming (ECOOP 2022), LIPICS 222 …, 2022
182022
Relating BIP and Reo
K Dokter, SS Jongmans, F Arbab, S Bliudze
Interaction and Concurrency Experience (ICE 2015), EPTCS 189, 3-20, 2015
182015
Discourje: Runtime Verification of Communication Protocols in Clojure
R Hamers, SS Jongmans
International Conference on Tools and Algorithms for the Construction and …, 2020
172020
Reo: A Dataflow Inspired Language for Multicore
SS Jongmans, S Halle, F Arbab
Workshop on Data-Flow Execution Models for Extreme Scale Computing (DFM 2013 …, 2014
172014
A Procedure for Splitting Processes and its Application to Coordination
SS Jongmans, D Clarke, J Proença
International Workshop on Foundations of Coordination Languages and Self …, 2012
172012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20