A complete inference system for a class of regular behaviours

Author(s)

Bibliographic Information

A complete inference system for a class of regular behaviours

by Robin Milner

University of Edinburgh, Department of Computer Science, 1982

Other Title

Internal report: CSR-111-82

Available at  / 1 libraries

Search this Book/Journal

Note

Internal report: CSR-111-82

Includes bibliographical references (p. 31)

Details

  • NCID
    BA26371828
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Edinburgh
  • Pages/Volumes
    31 p.
  • Size
    21 cm
Page Top