Formal Analysis of Quantum Systems using Process Calculus

Timothy A. S. Davidson Simon J. Gay Rajagopal Nagarajan

Published in: ICE (2011)

Keyphrases

formal analysis
distributed systems
intelligent systems
process model
formal methods
artificial intelligence
complex systems
information systems
software systems