A Calculus of Higher-Order Parameterization for Algebraic Specifications.
María Victoria CengarleMartin WirsingPublished in: Log. J. IGPL (1995)
Keyphrases
- higher order
- algebraic structure
- transition systems
- formal language
- natural images
- markov random field
- computer algebra
- high order
- low order
- lambda calculus
- formal specification
- concurrent systems
- pairwise
- markov models
- control flow
- lower order
- high level
- model checking
- specification language
- functional requirements
- formal semantics
- delay insensitive
- qualitative spatial
- anti unification