Executable description of the OSI transport service in Prolog

Authors:
L. Logrippo;D. Simon;H. Ural
Affiliations:
Univ. of Ottawa, Canada;Univ. of Ottawa, Canada;Univ. of Ottawa, Canada
Venue:
Proc. of IFIP WG 6.1 4th Int'l Workshop on Protocol specification, testing, and verification, IV
Year:
1985

Structure of a LOTOS interpreter

SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
OSI service specification: SAP and CEP modelling

ACM SIGCOMM Computer Communication Review
Service specification and protocol construction for the transport layer

SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Extensions to communicating sequential processes to allow protocol performance specification

SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Simulation of communications architecture specifications using Prolog

SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Simulation of communications architecture specifications using Prolog

ACM SIGAPP Applied Computing Review
Executable logic specifications for protocol service interfaces

IEEE Transactions on Software Engineering
Automated Protocol Implementation with RTAG

IEEE Transactions on Software Engineering
Carla: A rule language for specifying communications architectures

Computer Languages

Hi-index	0.00