Fingerprint
Dive into the research topics of 'A Predicate Transformer for Choreographies (Technical Report)'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Predicate Transformer for Choreographies (Technical Report)
Sung-Shik Jongmans*, Petra van den Bos
*Corresponding author for this work
Research output: Book/Report › Technical report › Academic
39
Downloads
(Pure)