Capturing Qubit Decoherence through Paraconsistent Transition Systems.

Luís Soares Barbosa Alexandre Madeira

Published in: Programming (2023)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reactive systems
inference rules
distributed systems
formal specification
fully observable