Skip to main content
SpringerLink
Log in

A tool for the automated verification of eccs specifications of osi protocols

  • Conference paper
  • First Online:
Discrete Event Systems: Models and Applications

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 103))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. V. Carchiolo and G. Pappalardo, “CCS as a Specification and Verification Technique: A Case Study and a Comparison with Temporal Logic”, Pacific Computer Communication Symposium, Seoul (Korea), Oct. 1985

    Google Scholar 

  2. V. Carchiolo et alii, “ECCS and LIPS: two languages for OSI systems specification and verification”, Internal Report, Istituto di Informatica e Telecomunicazioni, Catania, Italy, 1986.

    Google Scholar 

  3. V.Carchiolo et alii, “A LOTOS Specification of the PROWAY Highway Service”, IEEE Trans. on Computers, Vol. C-35, No. 11, Nov. 1986

    Google Scholar 

  4. V.Carchiolo and A.Faro, “On Bisimulation Relation”, Internal Report, University of Catania, 1987

    Google Scholar 

  5. Clocksin W., Mellish, “Programming in PROLOG, Springer-Verlag, 1981

    Google Scholar 

  6. R.De Nicola, M.Hennesy, “Testing Equivalences for Processes”, Internal Report, University of Edinburgh, CSR-123-82, 1982

    Google Scholar 

  7. ___, Information Processing Systems — Open Systems Interconnection, LOTOS — A Formal description technique based on temporal ordering of observational behaviour, ISO/TC 97/SC 21/ DP 8807, Jnue 1985

    Google Scholar 

  8. R. Milner, “A Calculus of Communicating Systems”, LNCS 92, Springer Verlag, Berlin 1980

    Google Scholar 

  9. G.Pappalardo, “Experiences with a verification and simulation tool for behavioural language”, proc. of VII IFIP Workshop on Spec., Verif. and Testing, 1987

    Google Scholar 

  10. D. Park, “Concurrency and Automata on Infinite Sequences”, in Vol. 104, LNCS, Springer-Verlag, 1981

    Google Scholar 

  11. M.T.Sanderson, “Proof Techniques for CCS”, Internal Report, University of Edinburgh, CST-19-82, 1982

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Informatica e Telecomunicazioni Facolta' di Ingegneria, Universita' di Catania, Viale Andrea Doria, 6, 95125, Catania, Italy

    Vincenza Carchiolo & Alberto Faro

Authors
  1. Vincenza Carchiolo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alberto Faro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pravin Varaiya Alexander B. Kurzhanski

Rights and permissions

Reprints and permissions

Copyright information

© 1988 International Institute for Applied Systems Analysis

About this paper

Cite this paper

Carchiolo, V., Faro, A. (1988). A tool for the automated verification of eccs specifications of osi protocols. In: Varaiya, P., Kurzhanski, A.B. (eds) Discrete Event Systems: Models and Applications. Lecture Notes in Control and Information Sciences, vol 103. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0042304

Download citation

  • DOI: https://doi.org/10.1007/BFb0042304

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18666-3

  • Online ISBN: 978-3-540-48045-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation