A Refinement Logic for the Fork Calculus
Publikation: Forskning › Konferenceartikel i proceeding
| Originalsprog | Engelsk |
|---|---|
| Titel | International IFIP Symposium on Protocol Specification, Testing and Verification |
| Udgivelsesdato | 1994 |
| Status | Udgivet |
Konference
| Konference | A Refinement Logic for the Fork Calculus |
|---|---|
| Periode | 19/05/10 → … |
Bibliografisk note
ISSN ; -
ID: 134462