Sung-Shik Jongmans

Research output

Research output per year 2015 2022 2022

• 19 Conference Article in proceeding
• 10 Article
• 8 Technical report
• 1 Book editing
• 4 More
  • 1 Conference Abstract/Poster in proceeding
  • 1 Chapter
  • 1 Paper
  • 1 Doctoral Thesis

Research output per year

Research output per year

Search results

• 2022

  A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.

  Jongmans, S-S. & Bos, P. V. D., 2022, Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Ilya Sergey (ed.). 1 ed. Springer, Vol. 13240. p. 520-547 (Lecture Notes in Computer Science, Vol. 13240).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Abstract/Poster in proceeding › Academic › peer-review

  Open Access