✦ LIBER ✦

A new formal method for communication protocol specification

✍ Scribed by Layuan Li

Book ID: 112947734
Publisher: Springer
Year: 1989
Tongue: English
Weight: 322 KB
Volume: 4
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02943984

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deriving complexity information from a f

Deriving complexity information from a formal communication protocol specification

✍ Sun-Jen Huang; Richard Lai 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB

Communication software systems have become very large and complex. Recognizing the complexity of such software systems is a key element in their development activities. Software metrics are useful quantitative indicators for assessing and predicting software quality attributes, like complexity. Howe

Formal description techniques: Communica

Formal description techniques: Communication tools for data communication specialists: Formal specification and implementation of a file transfer protocol

✍ G T'Hooft 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 619 KB

Measuring the maintainability of a commu

Measuring the maintainability of a communication protocol based on its formal specification

✍ Sun-Jen Huang; Lai, R. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 715 KB

Formal specification of a Web services p

Formal specification of a Web services protocol

✍ James E. Johnson; David E. Langworthy; Leslie Lamport; Friedrich H. Vogt 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 192 KB

Formal Methods in Communication Protocol

Formal Methods in Communication Protocol Design

✍ Bochmann, G.; Sunshine, C. 📂 Article 📅 1980 🏛 IEEE 🌐 English ⚖ 989 KB

Estimating protocol performance using a

Estimating protocol performance using a formal specification model

✍ Raymond E. Miller; Zafar Ullah Chaudhry 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 212 KB

This paper introduces an approach for protocol performance estimation directly from a formal model of the protocol. By using the approach presented in this paper, performance of a protocol can be quickly estimated at an early stage of protocol design. The simplicity of analysis, achieved by determin