Concurrency, correctness, proof and undecidability in SDL-like systems

Author(s)

• Shields, M. W. (Mike W.)

Bibliographic Information

Concurrency, correctness, proof and undecidability in SDL-like systems

by M. W. Shields

University of Edinburgh, Department of Computer Science, 1982

Other Title

Internal report: CSR-119-82

Note

Internal report: CSR-119-82

Details

• NCID: BA26371566
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Edinburgh
• Pages/Volumes: 66 p.
• Size: 21 cm