Relationship Between Abstract and Concrete Implementations of Algebraic Specifications.

Michio Oyamaguchi

Published in: IFIP Congress (1983)

Keyphrases

state machines
high level
formal specification
neural network
low level
concurrent systems
delay insensitive
real world
efficient implementation
functional requirements
decision making
knowledge base
search algorithm
higher order
parallel implementations
algebraic geometry