Browsing by Subject "Object-based graph grammar"
-
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 ...