Browsing by Author "Ribeiro, Leila"
-
Stochastic object-based graph grammars
Mendizabal, Odorico Machado; Dotti, Fernando Luís; Ribeiro, Leila (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 ...