A Note on Specifying and Verifying Concurrent Processes.

Leszek Holenderski

Published in: Inf. Process. Lett. (1984)

Keyphrases

concurrent processes
petri net
concurrent programs
relational databases
image data
model checking
image processing
multiscale
training set
knowledge based systems
service composition