Sung-Shik Jongmans

Available identifiers

zbMath Open jongmans.sung-shik-t-qMaRDI QIDQ347370

List of research outcomes

Publication	Date of Publication	Type
Branching Pomsets for Choreographies	2024-03-01	Paper
Branching pomsets: design, expressiveness and applications to choreographies	2024-02-12	Paper
Balanced-by-Construction Regular and ω-Regular Languages	2023-08-15	Paper
A predicate transformer for choreographies. Computing preconditions in choreographic programming	2023-08-03	Paper
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types	2022-10-13	Paper
Balanced-by-construction regular and \(\omega \)-regular languages	2022-03-25	Paper
Formalizing propagation of priorities in Reo, using eight colors	2021-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q5216077	2020-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q5216149	2020-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4621161	2019-02-08	Paper
Data optimizations for constraint automata	2017-04-11	Paper
Combine and conquer: relating BIP and Reo	2016-11-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sung-Shik Jongmans