The Classical-Quantum Dichotomy from the Perspective of the Process Algebra.

Published in: Entropy (2022)

Keyphrases

process algebra
concurrent systems
quantum computation
formal specification
asynchronous circuits
model checking
formal methods
quantum mechanics
concurrent programs
communication protocols
petri net
web services composition
grid workflow
temporal logic
software engineering
wireless networks