Computer Networks and ISDN Systems · 1987 · 291 citations · 7 references
ComputingComputer EngineeringComputer ScienceDistributed SystemsFormal MethodsProgramming LanguagesDistributed ComputingDistributed Systems ArchitectureDistributed Systems DesignModel ExecutionSoftware ArchitectureSpecification LanguagesDistributed Systems SemanticsExecutable SpecificationsFormal ModelingModel Specification LanguageSystem Architecture Specification
7
The programming language pascal
Niklaus Wirth · Acta Informatica · 1971 · 723 citations
Finite state description of communication protocols
Gregor von Bochmann · Computer Networks (1976) · 1978 · 282 citations
Chris A. Vissers, Richard L. Tenney, Gregor von Bochmann · Proceedings of the IEEE · 1983 · 139 citations
Verification in XESAR of the Sliding Window Protocol
Jean-Luc Richier, Carlos Alfaro Rodriguez, Joseph Sifakis et al. · 1987 · 74 citations
Usage of Protocol Development Tools: The Results of a Survey
Gregor von Bochmann · 1987 · 45 citations