Theory of Deductive Systems for Protocol Verification.

Xiaobo Li Richard Lai Tharam S. Dillon

Published in: ICCI (1992)

Keyphrases

formal methods
computational model
asynchronous circuits
intelligent systems
database
information systems
building blocks
model checking
artificial intelligence
expert systems
management system
object oriented
distributed systems
lightweight
learning systems
complex systems