Algebraic Specification of Concurrency.

Egidio Astesiano Gianna Reggio

Published in: COMPASS/ADT (1991)

Keyphrases

formal verification
database systems
concurrency control
formal specification
neural network
artificial intelligence
high level
natural language
higher order
algebraic geometry
databases
genetic algorithm
social networks
software engineering
formal methods
concurrent execution