Session typing and asynchronous subtyping for the higher-order π-calculus.
Dimitris MostrousNobuko YoshidaPublished in: Inf. Comput. (2015)
Keyphrases
- higher order
- lambda calculus
- high order
- natural images
- pairwise
- markov random field
- asynchronous communication
- markov models
- real numbers
- eye typing
- lower order
- low order
- conditional random fields
- database query languages
- delay insensitive
- asynchronous cellular automata
- database
- provably correct
- computer algebra
- state machines
- mobile phone
- knowledge representation