Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Band 23)
Ein theoretisches Buch, das parallele Abläufe aus drei Blickwinkeln – Petri-Netze, Prozessausdrücke und mathematische Formeln – untersucht und i ...