A New Formalism for Describing Concurrent Systems.

Ayaz Isazadeh Jaber Karimpour Hosein Isazadeh

Published in: ISPA Workshops (2007)

Keyphrases

concurrent systems
transition systems
process algebra
temporal logic
distributed systems
model checking
petri net
formal specification
trade off
fine grained
knowledge representation
database
knowledge based systems
modal logic
formal model
genetic algorithm
machine learning