Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report (1996)
by
José Meseguer
| Citations: | 78 - 22 self |
Document Versions
| Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report –José Meseguer — 1996 |
