Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation - (Extended Abstract).
Vasileios KoutavasMatthew HennessyPublished in: CONCUR (2013)
Keyphrases
- neural network
- extended abstract
- higher order
- lambda calculus
- high order
- distributed systems
- language learning
- pairwise
- natural language
- distributed environment
- programming language
- markov random field
- multi agent
- database
- computer networks
- fault tolerant
- data management
- peer to peer
- lightweight
- metadata
- databases
- specification language
- data sets