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 ...