The SCEAS System
Navigation Menu

Journals in DBLP

Computer Communications
1992, volume: 15, number: 2

  1. Gordon S. Blair
    Practical use of FDTs in communications and distributed systems. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:2, pp:66-69 [Journal]
  2. Lynne Drayton, Amanda Chetwynd, Gordon Blair
    Introduction to LOTOS through a worked example. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:2, pp:70-85 [Journal]
  3. Robert G. Clark, Valerie M. Jones
    Use of LOTOS in the formal development of an OSI protocol. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:2, pp:86-92 [Journal]
  4. Charles Pecheur
    Using LOTOS for specifying the CHORUS distributed operating system kernel. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:2, pp:93-102 [Journal]
  5. Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister
    Modelling open distributed systems in Z. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:2, pp:103-113 [Journal]
  6. Jean-Bernard Stefani, Laurent Hazard, François Horn
    Computational model for distributed multimedia applications based on a synchronous programming language. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:2, pp:114-128 [Journal]
  7. Gerard J. Holzmann
    Practical methods for the formal validation of SDL specifications. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:2, pp:129-134 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002