Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
On A Method Of Multiprogramming The authors propose a method for the formal development of parallel programs, using predicate calculus and Owicki and Gires' theory. They show that this theo... »