Presheaves as Configured Specifications.

Steven Vickers Gillian Hill

Published in: Formal Aspects Comput. (2001)

Keyphrases

delay insensitive
written in natural language
knowledge base
website
high level
genetic algorithm
asynchronous circuits
formal specification
attribute grammars
concurrent systems
formal verification
control flow
specification language
artificial neural networks
multiscale
image processing
artificial intelligence