Eicken. Promela++: A language for constructing correct and efficient protocols
| Author(s) : | Thorsten Eicken Greg Morrisett Anindya Basu, |
| Publisher : | N/A |
| Publication Date : | 1998 |
| ISSN : | N/A |
| Abstract : | Recent research in high-speed network interfaces has focused on removing the operating system from the critical path of communication. An effective solution is to provide user-level, |