Search Results for author:
Found 2 papers, 0 papers with code
Formalising a Turing-Complete Choreographic Language in Coq
Theory of choreographic languages typically includes a number of complex results that are proved by structural induction.
Automated Theorem Proving
Logic in Computer Science
Programming Languages
Hypothetical answers to continuous queries over data streams
Continuous queries over data streams may suffer from blocking operations and/or unbound wait, which may delay answers until some relevant input arrives through the data stream.
