The Logical Essence of Well-Bracketed Control Flow.

Amin Timany Armaël Guéneau Lars Birkedal

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

control flow
data flow
process model
software testing
transition systems
workflow management systems
formal semantics
modeling language
reactive systems
business process models
data structure
software engineering