Confluence for Process Verification.

Jan Friso Groote M. P. A. Sellink

Published in: Theor. Comput. Sci. (1996)

Keyphrases

decision making
asynchronous circuits
databases
computer vision
information systems
image processing
website
process model