๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 || Bounded Context-Switching and Reentrant Locking

โœ Scribed by Pfenning, Frank


Book ID
120982103
Publisher
Springer Berlin Heidelberg
Year
2013
Weight
247 KB
Category
Article
ISBN
3642370756

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Foun
โœ Nielsen, Mogens; Engberg, Uffe ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 308 KB

This book constitutes the refereed proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2002, held in Grenoble, France, in April 2002. The 28 revised full papers presented together with an extended abstract of an invited paper were