Login / Signup
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic.
David Sinclair
James F. Power
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
linear logic
cut elimination
fixed point
message delivery
proof theoretic
logical framework
proof search
logic programming
desirable properties
sequent calculus
intuitionistic logic
group communication
communication protocol
image segmentation
model checking
programming language
computational complexity
high level