Proof-Checking Protocols Using Bisimulations.

Christine Röckl Javier Esparza

Published in: CONCUR (1999)

Keyphrases

communication protocols
theorem prover
linear logic
real time
search engine
geometry theorem proving
database
real world
information retrieval
decision trees
theorem proving
multi party
security protocols
communication protocol
proof planning