Browsing C3 - Artigos Publicados em Periódicos by Subject "Asynchronous system"
-
Stochastic object-based graph grammars
(2007)Object-Based Graph Grammar (OBGG) is a formal visual language suited to the specification of asynchronous distributed systems based on message passing. Model-checking of OBGG models is currently supported and a series of ...