Advertisement

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

  • Vincenza Carchiolo
  • Alberto Faro
Conference paper
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 103)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Car 85]
    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. 1985Google Scholar
  2. [Car1 86]
    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. [Car2 86]
    V.Carchiolo et alii, “A LOTOS Specification of the PROWAY Highway Service”, IEEE Trans. on Computers, Vol. C-35, No. 11, Nov. 1986Google Scholar
  4. [Car 87]
    V.Carchiolo and A.Faro, “On Bisimulation Relation”, Internal Report, University of Catania, 1987Google Scholar
  5. [Clo 81]
    Clocksin W., Mellish, “Programming in PROLOG, Springer-Verlag, 1981Google Scholar
  6. [DeN 82]
    R.De Nicola, M.Hennesy, “Testing Equivalences for Processes”, Internal Report, University of Edinburgh, CSR-123-82, 1982Google Scholar
  7. [Lot 85]
    ___, 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 1985Google Scholar
  8. [Mil 80]
    R. Milner, “A Calculus of Communicating Systems”, LNCS 92, Springer Verlag, Berlin 1980Google Scholar
  9. [Pap 87]
    G.Pappalardo, “Experiences with a verification and simulation tool for behavioural language”, proc. of VII IFIP Workshop on Spec., Verif. and Testing, 1987Google Scholar
  10. [Par 81]
    D. Park, “Concurrency and Automata on Infinite Sequences”, in Vol. 104, LNCS, Springer-Verlag, 1981Google Scholar
  11. [San 82]
    M.T.Sanderson, “Proof Techniques for CCS”, Internal Report, University of Edinburgh, CST-19-82, 1982Google Scholar

Copyright information

© International Institute for Applied Systems Analysis 1988

Authors and Affiliations

  • Vincenza Carchiolo
    • 1
  • Alberto Faro
    • 1
  1. 1.Istituto di Informatica e Telecomunicazioni Facolta' di IngegneriaUniversita' di CataniaCataniaItaly

Personalised recommendations