Relating reasoning methodologies in linear logic and process algebra.
Yuxin DengRobert J. SimmonsIliano CervesatoPublished in: Math. Struct. Comput. Sci. (2016)
Keyphrases
- linear logic
- process algebra
- proof theoretic
- intuitionistic logic
- logical framework
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- fixed point
- formal methods
- concurrent programs
- web services composition
- communication protocols
- reasoning tasks
- logic programming
- sequent calculus
- desirable properties
- knowledge base
- cut elimination
- automated reasoning
- temporal logic
- database systems
- inference rules
- artificial intelligence
- distributed systems
- proof theory
- response time
- formal languages
- natural deduction
- communication protocol
- web service composition