Four Logics and a Protocol.

David Gray Geoff W. Hamilton David Sinclair J. Paul Gibson James F. Power

Published in: IWFM (1999)

Keyphrases

lightweight
expressive power
modal logic
real time
coloured petri nets
propositional calculus
communication protocol
data sets
default logic
formal analysis
security protocols
nonmonotonic logics
neural network
application layer
tcp ip
truth values
database