Partial Correctness of Communicating Sequential Processes
| Autori principali: | , |
|---|---|
| Natura: | Conference item |
| Pubblicazione: |
IEEE
2015
|
| Autori principali: | , |
|---|---|
| Natura: | Conference item |
| Pubblicazione: |
IEEE
2015
|