On Convergence of Concurrent Systems under Regular Interactions.

Pavithra Prabhakar Sayan Mitra Mahesh Viswanathan

Published in: CONCUR (2009)

Keyphrases

concurrent systems
process algebra
distributed systems
temporal logic
transition systems
petri net
formal specification
model checking
convergence rate
iterative algorithms
relational databases
data sets
convergence speed
initial conditions
neural network
fine grained
multi objective
interaction patterns