Login / Signup
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