An edition of Type and effect systems (1999)

Type and Effect Systems

Behaviours for Concurrency

By Torben Amtoft,Flemming Nielson,Hanne Riis Nielson

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

June 1999

Publisher

World Scientific Publishing Company

Language

eng

Pages

253

Description:

subjects: Computer algorithms, Verification, Computer software, Concurrent engineering, Chaotic behavior in systems, System analysis, Multitasking (Computer science)