zbMath0648.68031MaRDI QIDQ3793712
Anneke A. Schoone
Publication date: 1988
zbMATH Keywords
communication network; protocol verification; connection management
Mathematics Subject Classification ID
68N25: Theory of operating systems
68N99: Theory of software