Type and effect systems : behaviours for concurrency /
Amtoft, Torben.
Nielson, Hanne Riis.
Nielson, Flemming.
London : Imperial College Press,
c1999.
Includes bibliographical references and index.
System analysis.
Multitasking (Computer science)
Computer algorithms.