Login / Signup
Effect Systems Revisited - Control-Flow Algebra and Semantics.
Alan Mycroft
Dominic A. Orchard
Tomas Petricek
Published in:
Semantics, Logics, and Calculi (2016)
Keyphrases
</>
control flow
data flow
software testing
business process models
data model
formal semantics
databases
expert systems
distributed systems
computer systems
workflow management systems
reactive systems