Proving Termination of Communicating Programs.

Pawel Paczkowski

Published in: CONCUR (1990)

Keyphrases

term rewrite systems
computer programs
probabilistic model
communication channels
real time
databases
neural network
real world
data structure
logic programs
java programs
control structures
provably correct
term rewriting