Graph Grammars for the Specification of Concurrent Systems.

Leila Ribeiro Martin Korff

Published in: SBES (1997)

Keyphrases

concurrent systems
graph grammars
transition systems
process algebra
formal specification
temporal logic
distributed systems
model checking
petri net
context sensitive
high level
artificial intelligence
probabilistic model
context free