Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897911369

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The derivation of performance expressions for communication protocols from timed petri net models

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84 ◽

10.1145/800056.802080 ◽

1984 ◽

Cited By ~ 3

Author(s):

Rami R. Razouk

Keyword(s):

Petri Net ◽

Communication Protocols ◽

Timed Petri Net

Download Full-text

A temporal ordering specification of some session services

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84 ◽

10.1145/800056.802067 ◽

1984 ◽

Cited By ~ 3

Author(s):

Vincenza Carchiolo ◽

Alberto Faro ◽

Giuseppe Scollo

Keyword(s):

Temporal Ordering

Download Full-text

One-to-many interprocess communication in the V-system

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84 ◽

10.1145/800056.802061 ◽

1984 ◽

Cited By ~ 6

Author(s):

David R. Cheriton ◽

Willy Zwaenpoel>

Keyword(s):

Interprocess Communication

Download Full-text

Formal specification and validation of ISO transport protocol components, using petri nets

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84 ◽

10.1145/800056.802063 ◽

1984 ◽

Cited By ~ 5

Author(s):

Wolfgang JÜrgensen ◽

Son T. Vuong

Keyword(s):

Petri Nets ◽

Formal Specification ◽

Transport Protocol

Download Full-text

Protocol testing methdology development at NBS

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84 ◽

10.1145/800056.802086 ◽

1984 ◽

Author(s):

Robert P. Blanc

Keyword(s):

Protocol Testing

Download Full-text

Automated verification of connection management of NBS class 4 transport protocol

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84 ◽

10.1145/800056.802064 ◽

1984 ◽

Cited By ~ 3

Author(s):

Deepinder P. Sidhu> ◽

Thomas P. Blumer

Keyword(s):

Automated Verification ◽

Transport Protocol ◽

Connection Management

Download Full-text

On the performance of slotted ALOHA in a spread spectrum environment

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84 ◽

10.1145/800056.802083 ◽

1984 ◽

Cited By ~ 1

Author(s):

Panos Economopoulos ◽

Mart L. Molle

Keyword(s):

Spread Spectrum ◽

Slotted Aloha

Download Full-text

Some issues in protocol implementation testing

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84 ◽

10.1145/800056.802087 ◽

1984 ◽

Author(s):

E. Cerny

Keyword(s):

Protocol Implementation

Download Full-text

Automatic update of replicated topology data bases

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84 ◽

10.1145/800056.802071 ◽

1984 ◽

Cited By ~ 1

Author(s):

Jeffrey M. Jaffe ◽

Adrian Segall

Keyword(s):

Data Bases

Download Full-text

Physically dispersing an operating system

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84 ◽

10.1145/800056.802088 ◽

1984 ◽

Cited By ~ 1

Author(s):

E. Douglas Jensen

Keyword(s):

Operating System

Download Full-text

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

The derivation of performance expressions for communication protocols from timed petri net models

A temporal ordering specification of some session services

One-to-many interprocess communication in the V-system

Formal specification and validation of ISO transport protocol components, using petri nets

Protocol testing methdology development at NBS

Automated verification of connection management of NBS class 4 transport protocol

On the performance of slotted ALOHA in a spread spectrum environment

Some issues in protocol implementation testing

Automatic update of replicated topology data bases

Physically dispersing an operating system

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84
Latest Publications