Toward a quantum process algebra.

Philippe Jorrand Marie Lalire

Published in: Conf. Computing Frontiers (2004)

Keyphrases

process algebra
formal specification
concurrent systems
model checking
asynchronous circuits

formal methods
web services composition
communication protocols
concurrent programs
petri net

grid workflow
temporal logic
distributed systems
service composition
expert systems

artificial intelligence
highly reliable
general purpose
web services