Deriving protocol specifications from service specifications written in LOTOS

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems · 1987 · 1.3K citations · Full text

Computing, Computer Science, Formal Methods +5

Towards Analyzing and Synthesizing Protocols

P. Zafiropulo, Colin H. West, H. Rudin et al. · IRE Transactions on Communications Systems · 1980 · 239 citations

Computing, Computer Engineering, Computer Science +17

A structural induction theorem for processes

Robert P. Kurshan, Kenneth L. McMillan · 1989 · 165 citations · Full text

Engineering, Computer Science, Natural Language Processing +5

On the Construction of Submodule Specifications and Communication Protocols

Philip M. Merlin, Gregor von Bochmann · ACM Transactions on Programming Languages and Systems · 1983 · 150 citations · Full text

Computing, Computer Engineering, Computer Science +13

Architecture and Specification Style in Formal Descriptions of Distributed Systems

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen · University of Twente Research Information · 1988 · 114 citations

Computing, Computer Science, Computer Systems +16