Yet Another Process Logic (Preliminary Version).

Moshe Y. Vardi Pierre Wolper

Published in: Logic of Programs (1983)

Keyphrases

preliminary version
case study
process model
real time
high level
data sets
neural network
digital libraries