Synthesis of Concurrent Systems.

Published in: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)

Keyphrases

concurrent systems
distributed systems
temporal logic
process algebra
transition systems
petri net
formal specification
model checking
artificial intelligence
neural network
machine learning
computer vision
search algorithm
knowledge based systems
program synthesis