Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic.
Amin TimanySimon Oddershede GregersenLéo StefanescoLéon GondelmanAbel NietoLars BirkedalPublished in: CoRR (2021)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- distributed systems
- natural images
- cooperative
- multi valued
- fault tolerant
- lightweight
- distributed environment
- high order
- low order
- distributed data
- communication cost
- computer networks
- logic programming
- information retrieval
- markov random field
- probabilistic model
- automated reasoning
- multi agent systems
- communication overhead
- computational properties
- multi agent
- digital circuits
- similarity measure
- database systems