skip to main content
article
Free Access

Problem specification with action machines

Published:01 March 1993Publication History
First page image

References

  1. 1 Bohm, C. and G. Jacopini, Flow-diagrams, Turing machines, and languages with only two formation rules, Communications of the ACM, Vol. 9, No. 5 (May, 1966), pp. 366-371. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2 Belina, F. and D. Hogregfe, The CCITT-specification and description language SDL, Computer Networks and ISDN Systems, Vol. 16, (1988-89), pp. 311-341. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 M. Conway, Design of a separable transition diagram compiler, Communications of the ACM, Vol. 6, No. 7 (July, 1963), pp. 396-408. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Problem specification with action machines

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM SIGCSE Bulletin
              ACM SIGCSE Bulletin  Volume 25, Issue 1
              March 1993
              307 pages
              ISSN:0097-8418
              DOI:10.1145/169073
              Issue’s Table of Contents
              • cover image ACM Conferences
                SIGCSE '93: Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
                April 1993
                311 pages
                ISBN:0897915658
                DOI:10.1145/169070
                • Chairmen:
                • Bruce J. Klein,
                • Cary Laxer,
                • Frank H. Young

              Copyright © 1993 ACM

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 1 March 1993

              Check for updates

              Qualifiers

              • article
            • Article Metrics

              • Downloads (Last 12 months)11
              • Downloads (Last 6 weeks)2

              Other Metrics

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader
            About Cookies On This Site

            We use cookies to ensure that we give you the best experience on our website.

            Learn more

            Got it!