Login / Signup
Equational Reasoning About Nondeterministic Processes.
Jayadev Misra
Published in:
PODC (1989)
Keyphrases
</>
equational theories
neural network
process model
theorem proving
finite state
reasoning processes
database
real time
data sets
information systems
decision making
formal theory