Modeling Consensus in a Process Calculus.

Uwe Nestmann Rachele Fuzzati Massimo Merro

Published in: CONCUR (2003)

Keyphrases

data structure
database
information retrieval
data sets
modeling tool
computer algebra