A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
| Autor: | de Boer, F.S. |
|---|---|
| Zdroj: | In Theoretical Computer Science 2002 274(1):3-41 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | de Boer, F.S. |
|---|---|
| Zdroj: | In Theoretical Computer Science 2002 274(1):3-41 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect