A dynamic specification of the RPC-memory problem

  • Egidio Astesiano
  • Gianna Reggio
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1169)


Correctness Justification Development Step Label Transition System Dynamic Specification Natural Description 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    E. Astesiano, F. Morando, and G. Reggio. The SMoLCS Toolset. In Mosses P.D., Nielsen M., and Schwartzbach M.I., editors, Proc. of TAPSOFT '95, number 915 in LNCS, pages 810–801. Springer Verlag, Berlin, 1995.Google Scholar
  2. 2.
    E. Astesiano and G. Reggio. SMoLCS-Driven Concurrent Calculi. In H. Ehrig, R. Kowalski, G. Levi, and U. Montanari, editors, Proc. TAPSOFT'87, Vol. 1, number 249 in LNCS, pages 169–201. Springer Verlag, Berlin, 1987.Google Scholar
  3. 3.
    E. Astesiano and G. Reggio. Formally-Driven Friendly Specifications of Concurrent Systems: A Two-Rail Approach. Technical Report DISI-TR-94-20, DISI-Università di Genova, Italy, 1994. Presented at ICSE'17-Workshop on Formal Methods, Seattle April 1995.Google Scholar
  4. 4.
    E. Astesiano and G. Reggio. Algebraic Dynamic Specifications: An Outline. Technical Report DISI-TR-95-08, DISI — Università di Genova, Italy, 1995.Google Scholar
  5. 5.
    E. Astesiano and G. Reggio. A Dynamic Specification of the Complete Development of the RPC-Memory. Technical Report DISI-TR-96-02, DISI — Università di Genova, Italy, 1996.Google Scholar
  6. 6.
    M. Broy and L. Lamport. The RPC-Memory Specification Problem. In this volume.Google Scholar
  7. 7.
    G. Costa and G. Reggio. Abstract Dynamic Data Types: a Temporal Logic Approach. In A. Tarlecki, editor, Proc. MFCS'91, number 520 in LNCS, pages 103–112. Springer Verlag, Berlin, 1991.Google Scholar
  8. 8.
    G. Costa and G. Reggio. Specification of Abstract Dynamic DataTypes: A Temporal Logic Approach. T.C.S., 1996. To appear.Google Scholar
  9. 9.
    Z. Manna and A. Pnueli. The Anchored Version of the Temporal Framework. In J.W. de Bakker, W.-P. de Roever, and G. Rozemberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, number 354 in LNCS. Springer Verlag, Berlin, 1989.Google Scholar
  10. 10.
    F. Parodi and G. Reggio. METAL: a Metalanguage for SMoLCS. Technical Report DISI-TR-94-13, DISI — Università di Genova, Italy, 1994.Google Scholar
  11. 11.
    G. Reggio, D. Bertello, and A. Morgavi. The Reference Manual for the SMoLCS Methodology. Technical Report DISI-TR-94-12, DISI — Università di Genova, Italy, 1994.Google Scholar
  12. 12.
    G. Reggio and E. Crivelli. Specification of a Hydroelectric Power Station: Revised Tool-Checked Version. Technical Report DISI-TR-94-17, DISI — Università di Genova, Italy, 1994.Google Scholar
  13. 13.
    M. Wirsing. Algebraic Specifications. In J. van Leeuwen, editor, Handbook of Theoret. Comput. Sci., volume B, pages 675–788. Elsevier, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Egidio Astesiano
    • 1
  • Gianna Reggio
    • 1
  1. 1.Dipartimento di Informatica e Scienze dell'InformazioneUniversità di Genova, ItalyGenovaItaly

Personalised recommendations