A Proof System for Concurrent ADA Programs.

Rob Gerth Willem P. de Roever

Published in: Sci. Comput. Program. (1984)

Keyphrases

concurrent programs
neural network
search algorithm
modal logic
data sets
website
evolutionary algorithm
fixpoint
runtime environment