Type and effect systems : behaviours for concurrency

Author(s)

• Amtoft, Torben
• Nielson, Hanne Riis
• Nielson, Flemming

Bibliographic Information

Type and effect systems : behaviours for concurrency

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson

Imperial College Press, c1999

Note

Includes bibliographical references and index

Details

• NCID: BA43243212
• ISBN:
  • 1860941540
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: xi, 253 p
• Size: 23 cm
• Classification:
  • DC21 : 004.35
• Subject Headings:
  • LCSH : System analysis
  • LCSH : Multitasking (Computer science)
  • LCSH : Computer algorithms