A Functional Programming Framework for Latency Insensitive Protocol Validation
| Autor: | Suhaib, Syed, Mathaikutty, Deepak, Shukla, Sandeep, Berner, David, Talpin, Jean-Pierre |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 26 January 2006 146(2):169-188 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect