Related Tags
petri-nets × 25automata × 4
computation-models × 4
modelling × 4
graphs × 3
software-verification × 3
applied-theory × 2
algorithms × 1
complexity-theory × 1
data-structures × 1
decision-problem × 1
distributed-systems × 1
formal-methods × 1
synchronization × 1
model-checking × 1
software-testing × 1
process-algebras × 1
message-passing × 1
peer-to-peer × 1