Stochastic Object-Based Graph Grammars

DOI10.1016/j.entcs.2007.03.020zbMath1279.68117OpenAlexW1987198571MaRDI QIDQ2870329

Leila Ribeiro, Odorico MacHado Mendizabal, Fernando Luís Dotti

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.03.020

zbMATH Keywords

asynchronous systemstochastic automata networkobject-based graph grammar

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Correct transformation: from object-based graph grammars to PROMELA

Uses Software

• PEPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph Transformations
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: Stochastic Object-Based Graph Grammars