Skip to main content
SpringerLink
Log in

The prescription and description of state based systems

  • Collected Papers
  • Conference paper
  • First Online:
Temporal Logic in Specification

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 398))

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.

Bibliography

  1. G. Agha and C. Hewitt, Concurrent Programming using Actors: Exploiting Large Scale Parallel ism, in Proc. of 5th Conf. of Foundations of Software Technology and Theoretical Computer Science, pp 19–41, Pub. Springer-Verlag, ed. S. Maheeshwari, 1985.

    Google Scholar 

  2. J. Barron, Dialogue and Process Design for Interactive Information Systems Using TAXIS, Tech. Rep. CSRG-128, Univ. of Toronto, 1981.

    Google Scholar 

  3. A. Borr, Transaction Mointitoring in Encompass-Reliable Distrivuted Transaction Processing, in Proc. 7th VLDB IEEE, New York, 1981.

    Google Scholar 

  4. R. Burstall, D. MacQueen and D. Sannella, HOPE: An Experimental Application Language, Internal Report CSR-62-80, Edinburgh University, Dept. of Compting, 1980

    Google Scholar 

  5. E. W. Dijkstra, A Discipline of Programming, Pub. Prentice-Hall, 1976.

    Google Scholar 

  6. D. Follesdal and R. Hilpinen, "Deontic Logic: An Introduction", pp 1–35, in Deontic Logic: Introductory and Systematic Readings, ed R. Hilpinen, D. Reidel Publishing Company, 1981.

    Google Scholar 

  7. R. Fagin and J. Y. Halpern, Belief, Awareness and Limited Reasoning, in Proc. of 9th IJCAI, pp 491–501, 1985.

    Google Scholar 

  8. R.Goldblatt, Axiomatizing the logic of Computer Programming, LNCS 130, Springer-Verlag (pub.), 1982.

    Google Scholar 

  9. C. Hewitt et al, Linguistic Support of Receptionists for Sharted Resources, in Proc. NSF/SERC seminar on Concurrency, Pub. Springer-Verlag, 1984.

    Google Scholar 

  10. M. Hennessy, Synchronous and Asynchronous Experiments on Processes, Internal Report CSR-125-82, Univ. of Edinburgh (U.K.) 1982.

    Google Scholar 

  11. G. Hughes and M. Cresswell, An Introduction to Modal Logic, Pub. by Methuen, London, England, 1968.

    Google Scholar 

  12. J. D. Ichbiah et al, Rationale for the design of the ADA programming language, SIGPLAN Notices 14,6, part B, 1979.

    Google Scholar 

  13. R. E. Jennings, "A Natural Deontic Logic", Journal of the Philosophy of Logic, 1986

    Google Scholar 

  14. C. B. Jones, Software Development: A Rigorous Approach, Prentice-Hall International Series in Computer Science, 1980.

    Google Scholar 

  15. C. B. Jones, Systematic Software Development using VDM, Prentice-Hall International Series in Computer Science, 1986.

    Google Scholar 

  16. S. Khosla, System Specification: A Deontic Approach, Phd Thesis, Imperial College 1988.

    Google Scholar 

  17. S. Khosla and T. Maibaum, "Formal requirements of Real Time Systems", in Specification Techniques for Concurrent Systems (to appear), eds H. Barringer, A. Hill, B. Kreig-Brucker, Pub. Springer-Verlag, 1988.

    Google Scholar 

  18. S. Khosla, T. Maibuam and M. Sadler, "Large Database Specifications from Small Views", in Proc. of 5th Conf. of Foudations of Software Technology and Theoretical Computer Science, pp 246–271, Pub. Springer-Verlag, ed. S. Maheeshwari, 1985.

    Google Scholar 

  19. S. Khosla, T. Maibaum and M. Sadler, "Database Specification" in Database Semantics (DS-1), Proc. IFIP conf. on Database Semantics, ED. by Steel and Meersman, Pub. by North-Holland 1986.

    Google Scholar 

  20. B. Liskov et al, Abstraction mechanisms in CLU, in Comm. ACM 20/8, pp 564–576, 1977.

    Google Scholar 

  21. U. Lipeck, H-D. Ehrich and M. Gogolla, "Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic", in Theoretical and Formal Aspects of Information Systems, pp 145–157, eds Bubenko et al, Pub. North-Holland, 1985.

    Google Scholar 

  22. M. Leonard and B. T. Luong, "Information Systems Design Approach Integrating Data and Transactions", Proc. 7th VLDB IEEE, pp 235–246, New York, 1981.

    Google Scholar 

  23. T. Maibaum, "A Logic for the Formal Requirements Specification of Real-Time/Embedded Systems", Alvey FOREST Deliverable Report 3, GEC Research Laboratories, Marconi Research Centre, Great Baddow, Chelmsford, England, 1986.

    Google Scholar 

  24. R. Milner, A Calculas of Communicating Systems, in LNCS 92, Springer-Verlag Pub., 1980.

    Google Scholar 

  25. N. Minsky and A. Lockman, Ensuring Integrity by Adding Obligations to Privileges, in Proc 8th IEEE Intl. Conf. on Software Engineering, 1985.

    Google Scholar 

  26. W. H. Newton-Smith, Logic: An Introductory Course, pub. Routelege & Kegan Paul, 1985.

    Google Scholar 

  27. C. A. Petri, "Concurrency", in LNCS 84, Springer-Verlag Pub., 1979.

    Google Scholar 

  28. E. Pednault, "Formulating Multi-Agent, Dynamic-World Problems In The Classical Planning Framework", in Reasoning about Actions & Plans, Proc. 1986 workshop, Timberline Oregon, pp 47–82, 1986.

    Google Scholar 

  29. A. Pnueli, "The Temporal Logic of Programs", Proc. 18th Annual ACM Symposium on Foundations of Computer Science, IEEE, pp 45–57, 1977.

    Google Scholar 

  30. V. R. Pratt, Five Paradigm Shifts in Programming Language Design and their Realisation in Viron, A Dataflow Programming Environment, in Proc. 10th ACM Conf. on Principles of Programming Languages, 1983.

    Google Scholar 

  31. N. Rescher and A. Urquhart, Temporal Logic, Pub. Springer-Verlag, 1971.

    Google Scholar 

  32. M. Sadler et al, A Framework For Dialectic Studies, Internal Report, Imperial College, Dept. of Computing, London, 1988.

    Google Scholar 

  33. B. A. Sufrin, "Notes for a Z Handbook: Part I — The Mathematical Language", Programming Research Group, University of Oxford, 1984.

    Google Scholar 

  34. J. Talja, On the Logic Of Ommisions, in Synthese 65, pp 235–248, by D. Reidel Publishing Company, 1985.

    Google Scholar 

  35. H. Weber, Object Oriented DDBS Design, in Proc. of the second Intl. Conf. on Databases, (ICOD-2), Eds. S. Deen and P. Hammersley, Pub. by Wiley for The British Computer Society, 1983.

    Google Scholar 

  36. J. Wing, A Two Tiered Approach to Specifying Programs, Ph.D. Thesis, Laboratory for Computer Science, MIT/LCS/TR-299, 1983.

    Google Scholar 

  37. N. Wirth, The Design of A Pascal Compiler, in Software — Practice and Experience I, 4 (Sep), pp 309–333, 1971.

    Google Scholar 

  38. G. H. von Wright, An Essay in Modal Logic, North-Holland Publishing Company, Amsterdam, 1951.

    Google Scholar 

  39. G. H. von Wright, "Problems and Prospects of Deontic Logic: A Survey", in Modern Logic — A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic and Its Applications, pp 399–423, D. Reidel Publishing Company, ed. E. Agazzi, 1980.

    Google Scholar 

  40. G. H. von Wright, "On the Logic of Norms and Actions", in New Studies in Deontic Logic, D. Reidel Publishing Company, ed. R. Hilpinen, 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Coopers & Lybrand (Associates) Ltd Plumtree Court, EC4A 4HT, London

    S. Khosla

  2. Department of Computing, Imperial College, 180 Queen's Gate, SW7 2BZ, London

    T. S. E. Maibaum

Authors
  1. S. Khosla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. T. S. E. Maibaum
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

B. Banieqbal H. Barringer A. Pnueli

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Khosla, S., Maibaum, T.S.E. (1989). The prescription and description of state based systems. In: Banieqbal, B., Barringer, H., Pnueli, A. (eds) Temporal Logic in Specification. Lecture Notes in Computer Science, vol 398. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51803-7_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-51803-7_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51803-7

  • Online ISBN: 978-3-540-46811-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation