For the most recent entries see the
Petri Nets Newsletter
.
Keyword: communicating sequential processes
Valmari, Antti
:
Compositional State Space Generation.
1990.
Bailor, P.D.
:
A Theory for Graph-Based Language Specification, Analysis, and Mapping with Application to the Development of Parallel Software.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography