Nets, Terms And Formulas
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | October 3, 1991 |
| Authors | Ernst-Rüdiger Olderog |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2254997 |
About Nets, Terms And Formulas
The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. . . .