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; Λογική, Συμβολική και μαθηματική