Residuated Transition Systems II: Categorical Properties.

Eugene W. Stark

Published in: Arch. Formal Proofs (2024)

Keyphrases

transition systems
model checking
temporal logic
desirable properties
concurrent systems
artificial intelligence
finite state