Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Boussinot, Fr�d�ric
and
Susini, Jean-Ferdy
2000.
Java threads and SugarCubes.
Software: Practice and Experience,
Vol. 30,
Issue. 5,
p.
545.
Martel, Matthieu
and
Gengler, Marc
2000.
SPIN Model Checking and Software Verification.
Vol. 1885,
Issue. ,
p.
265.
Echahed, Rachid
and
Serwe, Wendelin
2000.
Computational Logic — CL 2000.
Vol. 1861,
Issue. ,
p.
300.
Alur, R.
and
Grosu, R.
2001.
Shared variables interaction diagrams.
p.
281.
Marlow, Simon
Jones, Simon Peyton
Moran, Andrew
and
Reppy, John
2001.
Asynchronous exceptions in Haskell.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 5,
p.
274.
Martel, Matthieu
and
Gengler, Marc
2001.
Euro-Par 2001 Parallel Processing.
Vol. 2150,
Issue. ,
p.
504.
DeLine, R.
2001.
Avoiding packaging mismatch with flexible packaging.
IEEE Transactions on Software Engineering,
Vol. 27,
Issue. 2,
p.
124.
Nielson, Hanne Riis
and
Nielson, Flemming
2002.
The Essence of Computation.
Vol. 2566,
Issue. ,
p.
223.
Kobayashi, Naoki
2002.
A Type System for Lock-Free Processes.
Information and Computation,
Vol. 177,
Issue. 2,
p.
122.
Johnston, David
Fleury, Martin
and
Downton, Andy
2003.
Euro-Par 2003 Parallel Processing.
Vol. 2790,
Issue. ,
p.
750.
Kobayashi, Naoki
2003.
Formal Methods at the Crossroads. From Panacea to Foundational Support.
Vol. 2757,
Issue. ,
p.
439.
Hauser, C.H.
and
Benson, D.B.
2004.
On the practicality and desirability of highly-concurrent, mostly-functional programming.
p.
115.
Johnston, D.J.
Fleury, M.
and
Downton, A.C.
2004.
An event-based execution model for efficient image processing on workstation clusters and the grid.
p.
732.
Serrano, Manuel
Boussinot, Frédéric
and
Serpette, Bernard
2004.
Scheme fair threads.
p.
203.
Welc, Adam
Jagannathan, Suresh
and
Hosking, Antony L.
2004.
ECOOP 2004 – Object-Oriented Programming.
Vol. 3086,
Issue. ,
p.
518.
Watkins, Kevin
Cervesato, Iliano
Pfenning, Frank
and
Walker, David
2004.
Types for Proofs and Programs.
Vol. 3085,
Issue. ,
p.
355.
Neubauer, Matthias
and
Thiemann, Peter
2004.
Practical Aspects of Declarative Languages.
Vol. 3057,
Issue. ,
p.
56.
Niehren, Joachim
Schwinghammer, Jan
and
Smolka, Gert
2005.
Frontiers of Combining Systems.
Vol. 3717,
Issue. ,
p.
248.
Gasbichler, Martin
and
Sperber, Michael
2005.
Integrating User-Level Threads with Processes in Scsh.
Higher-Order and Symbolic Computation,
Vol. 18,
Issue. 3-4,
p.
327.
Murphy VII, Tom
Crary, Karl
and
Harper, Robert
2005.
Computer Science Logic.
Vol. 3634,
Issue. ,
p.
51.