On the Specification of the Firing Squad Problem.

Egidio Astesiano Gianna Reggio

Published in: The Analysis of Concurrent Systems (1983)

Keyphrases

specification language
high level
similarity measure
formal verification
neural network
machine learning
image processing
multi agent systems
petri net
formal methods