Nets, Terms and Formulas Tree views of Concurrent Processes and Their Relationship

• Main Author: Olderog, E.-R (Author)
• Format: Book
• Language: English
• Published: Cambridge Cambridge University Press c 1991
• Series: Cambridge Tracts in Theoretical Computer Science 23
• Subjects: COMPUTER SOFTWARE; Λογική, Συμβολική και μαθηματική
• Item Description: includes bibl. references
• Physical Description: x,267p.
• ISBN: 0 521 40044 9