The SCEAS System
Navigation Menu

Journals in DBLP

Computer Communications
1996, volume: 19, number: 14

  1. Kassem Saleh
    Editorial. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1131-1133 [Journal]
  2. Jean-Pierre Courtiat, Michel Diaz, Roberto C. de Oliveira, Patrick Sénac
    Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1134-1150 [Journal]
  3. Joachim Parrow, Peter Sjödin
    Designing a multiway synchronization protocol. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1151-1160 [Journal]
  4. Jorge Arturo Cobb, Mohamed G. Gouda
    Group routing without group routing tables: an exercise in protocol design. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1161-1174 [Journal]
  5. Hong Liu, Raymond E. Miller
    An approach to cyclic protocol validation. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1175-1187 [Journal]
  6. Leo Cacciari, Omar Rafiq
    Validation of protocols with temporal constraints. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1188-1199 [Journal]
  7. Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
    On constructing communication protocols from component-based service specifications. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1200-1215 [Journal]
  8. Hou-Wa J. Jeng, Ming T. Liu
    Protocol converter generation using the STS approach. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1216-1225 [Journal]
  9. Reinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer, Thomas Held, Hartmut König
    Improving the efficiency of automated protocol implementation using Estelle. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1226-1235 [Journal]
  10. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli
    Testing in context: framework and test derivation. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1236-1249 [Journal]
  11. To-Yat Cheung
    Petri nets for protocol engineering. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1250-1257 [Journal]
  12. Robert L. Probert, Ning Lew
    Protocol quality engineering: addressing industry concerns about formal methods. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1258-1267 [Journal]
  13. Norio Shiratori, Takuo Suganuma, Sigeki Sugiura, Goutam Chakraborty, Kenji Sugawara, Tetsuo Kinoshita, E. S. Lee
    Framework of a flexible computer communication network. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1268-1275 [Journal]
  14. Kazi Farooqui, Luigi Logrippo
    Group communication models. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1276-1288 [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