Asynchronous Communication Model Based on Linear Logic.
Naoki KobayashiAkinori YonezawaPublished in: Formal Aspects Comput. (1995)
Keyphrases
- asynchronous communication
- linear logic
- synchronous communication
- fixed point
- logical framework
- cut elimination
- sequent calculus
- logic programming
- proof theoretic
- service composition
- intuitionistic logic
- desirable properties
- artificial intelligence
- proof search
- service oriented
- image matching
- higher order
- bayesian networks