Article

Executable description of the OSI transport service in Prolog

Authors:

L. Logrippo,

D. Simon,

H. UralAuthors Info & Claims

Proc. of IFIP WG 6.1 4th Int'l Workshop on Protocol specification, testing, and verification, IV

Pages 279 - 293

Published: 03 June 1985 Publication History

Abstract

No abstract available.

Cited By

View all

Citrin W(1993)Simulation of communications architecture specifications using PrologACM SIGAPP Applied Computing Review10.1145/152535.1525371:1(10-17)Online publication date: 15-Jan-1993
https://dl.acm.org/doi/10.1145/152535.152537
Citrin W(1992)Simulation of communications architecture specifications using PrologProceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's10.1145/130069.130140(1123-1131)Online publication date: 1-Mar-1992
https://dl.acm.org/doi/10.1145/130069.130140
Murphy SShankar A(1988)Service specification and protocol construction for the transport layerACM SIGCOMM Computer Communication Review10.1145/52325.5233418:4(88-97)Online publication date: 1-Aug-1988
https://dl.acm.org/doi/10.1145/52325.52334
Show More Cited By

Index Terms

Executable description of the OSI transport service in Prolog

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proc. of IFIP WG 6.1 4th Int'l Workshop on Protocol specification, testing, and verification, IV

June 1985

720 pages

ISBN:0444876766

Editors:
Y Yemini
Columbia Univ., New York, NY
,
R Strom
IBM Thomas J. Watson Research Center, Yorktown Heights, NY
,
S Yemini
IBM Thomas J. Watson Research Center, Yorktown Heights, NY

Publisher

North-Holland Publishing Co.

Netherlands

Publication History

Published: 03 June 1985

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Citrin W(1993)Simulation of communications architecture specifications using PrologACM SIGAPP Applied Computing Review10.1145/152535.1525371:1(10-17)Online publication date: 15-Jan-1993
https://dl.acm.org/doi/10.1145/152535.152537
Citrin W(1992)Simulation of communications architecture specifications using PrologProceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's10.1145/130069.130140(1123-1131)Online publication date: 1-Mar-1992
https://dl.acm.org/doi/10.1145/130069.130140
Murphy SShankar A(1988)Service specification and protocol construction for the transport layerACM SIGCOMM Computer Communication Review10.1145/52325.5233418:4(88-97)Online publication date: 1-Aug-1988
https://dl.acm.org/doi/10.1145/52325.52334
Murphy SShankar A(1988)Service specification and protocol construction for the transport layerSymposium proceedings on Communications architectures and protocols10.1145/52324.52334(88-97)Online publication date: 1-Aug-1988
https://dl.acm.org/doi/10.1145/52324.52334
Anderson D(1988)Automated Protocol Implementation with RTAGIEEE Transactions on Software Engineering10.1109/32.465014:3(291-300)Online publication date: 1-Mar-1988
https://dl.acm.org/doi/10.1109/32.4650
Sidhu DCrall C(1988)Executable logic specifications for protocol service interfacesIEEE Transactions on Software Engineering10.1109/32.462614:1(98-121)Online publication date: 1-Jan-1988
https://dl.acm.org/doi/10.1109/32.4626
Zic J(1987)Extensions to communicating sequential processes to allow protocol performance specificationACM SIGCOMM Computer Communication Review10.1145/55483.5550417:5(217-227)Online publication date: 1-Aug-1987
https://dl.acm.org/doi/10.1145/55483.55504
Zic J(1987)Extensions to communicating sequential processes to allow protocol performance specificationProceedings of the ACM workshop on Frontiers in computer communications technology10.1145/55482.55504(217-227)Online publication date: 1-Aug-1987
https://dl.acm.org/doi/10.1145/55482.55504
Tomas JPavon JPereda O(1987)OSI service specification: SAP and CEP modellingACM SIGCOMM Computer Communication Review10.1145/24605.2460917:1-2(48-70)Online publication date: 1-Jan-1987
https://dl.acm.org/doi/10.1145/24605.24609
Briand JFehri MLogrippo LObaid A(1986)Structure of a LOTOS interpreterProceedings of the ACM SIGCOMM conference on Communications architectures & protocols10.1145/18172.18192(167-175)Online publication date: 30-Sep-1986
https://dl.acm.org/doi/10.1145/18172.18192
Show More Cited By

Cited By

Index Terms

Recommendations

Distributed Multi-Threading in Gnu Prolog

GNU Prolog to Java: A Study on How to Connect the Two Programming Environments / Gnu Prolog To Java: Um Estudo Sobre Como Conectar Os Dois Ambientes De Programação

Transport-On-Demand (ToD) Planner for MaaS-Resources Management

Comments

Published In

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Abstract

Cited By

Index Terms

Recommendations

Distributed Multi-Threading in Gnu Prolog

GNU Prolog to Java: A Study on How to Connect the Two Programming Environments / Gnu Prolog To Java: Um Estudo Sobre Como Conectar Os Dois Ambientes De Programação

Transport-On-Demand (ToD) Planner for MaaS-Resources Management

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations