Behaviours of Concurrent Systems.

Józef Winkowski

Published in: Theor. Comput. Sci. (1980)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
model checking
transition systems
formal specification
petri net
complex systems
human behaviour
real time
machine learning
information retrieval
relational databases
open source
user behaviour