2 books • 2 series
Paradigms of Concurrency (Studies in Computational Intelligence, #1020)
Petri Net Algebra (Monographs in Theoretical Computer Science : An Eatcs)