Sung-Shik Jongmans

From MaRDI portal
Person:347370

Available identifiers

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

List of research outcomes





PublicationDate of PublicationType
Branching Pomsets for Choreographies2024-03-01Paper
Branching pomsets: design, expressiveness and applications to choreographies2024-02-12Paper
Balanced-by-Construction Regular and ω-Regular Languages2023-08-15Paper
A predicate transformer for choreographies. Computing preconditions in choreographic programming2023-08-03Paper
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types2022-10-13Paper
Balanced-by-construction regular and \(\omega \)-regular languages2022-03-25Paper
Formalizing propagation of priorities in Reo, using eight colors2021-06-03Paper
https://portal.mardi4nfdi.de/entity/Q52161492020-02-14Paper
https://portal.mardi4nfdi.de/entity/Q52160772020-02-14Paper
https://portal.mardi4nfdi.de/entity/Q46211612019-02-08Paper
Data optimizations for constraint automata2017-04-11Paper
Combine and conquer: relating BIP and Reo2016-11-30Paper

Research outcomes over time

This page was built for person: Sung-Shik Jongmans

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:347370&oldid=7009414"
Powered by MediaWiki