Login / Signup
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