S. S. T. Q. Jongmans
AuthID: R-00F-8FW
1
TITLE: Branching pomsets: Design, expressiveness and applications to choreographies
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2
TITLE: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings Full Text
AUTHORS: Sung Shik Jongmans; Antónia Lopes;
PUBLISHED: 2023, SOURCE: COORDINATION, VOLUME: 13908
AUTHORS: Sung Shik Jongmans; Antónia Lopes;
PUBLISHED: 2023, SOURCE: COORDINATION, VOLUME: 13908
INDEXED IN: DBLP
DBLP3
TITLE: Preface
AUTHORS: Sung-Shik Jongmans; Antónia Lopes;
PUBLISHED: 2023, SOURCE: 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13908 LNCS
AUTHORS: Sung-Shik Jongmans; Antónia Lopes;
PUBLISHED: 2023, SOURCE: 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13908 LNCS
INDEXED IN: Scopus
Scopus4
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222
INDEXED IN: Scopus DBLP
Scopus DBLP5
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 8, ISSUE: 2
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 8, ISSUE: 2
INDEXED IN: DBLP
DBLP6
TITLE: Branching Pomsets for Choreographies
AUTHORS: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLISHED: 2022, SOURCE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365
AUTHORS: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLISHED: 2022, SOURCE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365
INDEXED IN: DBLP
DBLP7
TITLE: A procedure for splitting data-aware processes and its application to coordination Full Text
AUTHORS: Sung Shik T Q Jongmans; Dave Clarke; José Proença ;
PUBLISHED: 2016, SOURCE: Sci. Comput. Program., VOLUME: 115-116
AUTHORS: Sung Shik T Q Jongmans; Dave Clarke; José Proença ;
PUBLISHED: 2016, SOURCE: Sci. Comput. Program., VOLUME: 115-116
