A Comparison of Techniques for Specifying Concurrent Systems Using the Object-Oriented Paradigm.

Sea Ling Bohdan Durnota

Published in: TOOLS (12/9) (1993)

Keyphrases

concurrent systems
distributed systems
process algebra
temporal logic
petri net
formal specification
model checking
transition systems
database
neural network
image processing
image sequences
multi agent systems
production system