| Title | A ground-complete axiomatization of finite-state processes in generic process algebra |
|---|---|
| Author | Baeten, JCM (Jos); Bravetti, M (Mario) |
| Date | 2008 |
| Reference(s) | formal languages. formal systems. formal proof of program correctness, process algebra |
| Type | report |
| Publisher | Technische Universiteit Eindhoven |
| Rights | Copyright (c) Baeten, JCM (Jos); Copyright (c) Bravetti, M (Mario) |
| Publication | http://repository.tue.nl/636631 |
| Persistent Identifier | URN:NBN:NL:UI:25-636631 |
| Metadata | XML |
| Repository | Eindhoven University of Technology |
Go to page top
Go back to contents
Go back to site navigation