A Predicate Transformer for Choreographies: Computing Preconditions in Choreographic Programming

von Jongmans, Sung-Shik
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

A journey from process algebra via timed automata to model learning : essays dedicated to Frits Vaandrager on the occasion of his 60th birthday

Veröffentlicht 2022

JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

von Bliudze, Simon
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)