The Conversation Calculus: A Model of Service-Oriented Computation
No abstract available.
Related papers
- Protecting chatbots from toxic content Onward! 2018
- Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation ESOP 2019
- An object-oriented calculus with term constraints JFP 2007
- The next 700 syntactical models of type theory CPP 2017
- A correct-by-construction conversion from lambda calculus to combinatory logic JFP 2023
- The Design and Performance of a Hard Real-Time Object Event Service OOPSLA 1997
- An Unsolvable Numeral System in lambda Calculus JFP 1991
- A Formalism for Real-Time Concurrent Object-Oriented Computing OOPSLA 1992