Regular behaviour of concurrent systems.

Edward Ochmanski

Published in: Bull. EATCS (1985)

Keyphrases

concurrent systems
distributed systems
temporal logic
process algebra
petri net
transition systems
model checking
formal specification
knowledge acquisition
databases
information retrieval
website
human behaviour
fuzzy petri net