You have Guest access.
Log In
Volume 1 / 1971 - Volume 49 / 2012
Remove criteria to expand these results
Add criteria from below to refine these results
Original Article
Synchronous cooperation for explicit multi-threading
J. A. Bergstra and C. A. Middelburg
2007, Volume 44, Numbers 7-8, Pages 525-569
A criterion for atomicity revisited
Wim H. Hesselink
2007, Volume 44, Number 2, Pages 123-151
Decision problems for pushdown threads
Jan A. Bergstra, Inge Bethke and Alban Ponse
2007, Volume 44, Number 2, Pages 75-90
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info