Definition, synonyms and related words
One of several mathematical representations of discrete distributed systems, a 5-tuple (S,T,F,M_0,W)!, where
S is a set of places.