Specification & Verification of Higher Order Processes.
Michael R. HansenZhou ChaochenPublished in: MFCS (1990)
Keyphrases
- higher order
- formal verification
- model checking
- asynchronous circuits
- formal methods
- protocol specification
- high order
- natural images
- markov models
- process model
- high level
- markov random field
- low order
- formal specification
- pairwise
- face verification
- specification language
- user defined
- real time
- conditional random fields
- lower order
- website
- lambda calculus
- social networks