Volume 15; Issue 2

Computer Communications

Volume 15; Issue 2
1

Practical use of FDTs in communications and distributed systems

Gordon S Blair
Journal:
Computer Communications
Year:
1992
Language:
english
File:
PDF, 297 KB
english, 1992
2

Introduction to LOTOS through a worked example

Lynne Drayton, Amanda Chetwynd, Gordon Blair
Journal:
Computer Communications
Year:
1992
Language:
english
File:
PDF, 1.19 MB
english, 1992
3

Use of LOTOS in the formal development of an OSI protocol

Robert G Clark, Valerie M Jones
Journal:
Computer Communications
Year:
1992
Language:
english
File:
PDF, 670 KB
english, 1992
4

Using LOTOS for specifying the chorus distributed operating system kernel

Charles Pecheur
Journal:
Computer Communications
Year:
1992
Language:
english
File:
PDF, 946 KB
english, 1992
6

Author biographies

Journal:
Computer Communications
Year:
1992
Language:
english
File:
PDF, 265 KB
english, 1992
7

Calendar

Journal:
Computer Communications
Year:
1992
Language:
english
File:
PDF, 83 KB
english, 1992
8

Modelling open distributed systems in Z

Phil Stocks, Kerry Raymond, David Carrington, Andrew Lister
Journal:
Computer Communications
Year:
1992
Language:
english
File:
PDF, 1.03 MB
english, 1992
9

Practical methods for the formal validation of SDL specifications

Gerard J Holzmann
Journal:
Computer Communications
Year:
1992
Language:
english
File:
PDF, 572 KB
english, 1992