|
| Final Report of the COST-247 Action |
ANALYSIS OF COMMUNICATION PROTOCOLS USING A THEORY OF LOSSY CHANNEL SYSTEMS
Parosh Aziz Abdulla
| Department of Computer Systems |
| University of Uppsala |
| Box 325 |
| S-751 05 Uppsala |
| SWEDEN |
| E-mail: parosh@docs.uu.se |
This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).
COST-247 Working Group(s): 2
This Page was prepared by Mark Jorgensen.
Back to the VASY Home page