Modelling and proving of truly concurrent systems with CATNets.

Mohamed Bettaz Abbas Mehemmel

Published in: PDP (1993)

Keyphrases

concurrent systems
temporal logic
process algebra
distributed systems
formal specification
transition systems
model checking
petri net
artificial intelligence
databases
neural network
computer vision
decision making
knowledge representation
fine grained