Type and Effect Systems: Behaviours for Concurrency

...
Author:  Torben Amtoft |  Flemming Nielson |  Hanne Riis Nielson
18 downloads 772 Views 2MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD DJVU

Recommend Documents

[ Team LiB ] • Table of Contents Unix™ Systems Programming: Communication, Concurrency, and Threads By Kay A. Robbins...
Algebra univers. 48 (2002) 399–411 0002-5240/02/040399 – 13 c Birkh¨  auser Verlag, Basel, 2002 Algebra Universalis A...
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 2549 3 Berlin Heidelberg New Y...
Concurrency Theory Howard Bowman and Rodolfo Gomez Concurrency Theory Calculi and Automata for Modelling Untimed and...
Concurrency Theory Howard Bowman and Rodolfo Gomez Concurrency Theory Calculi and Automata for Modelling Untimed and...