A Proof Technique for Communicating Sequential Processes.

Gary Levin David Gries

Published in: Acta Informatica (1981)

Keyphrases

communication channels
theorem proving
linear logic
theorem prover
real time
real world
learning algorithm
artificial neural networks
evolutionary algorithm
hidden markov models
sequential data
support systems