Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Echahed, Rachid
and
Serwe, Wendelin
2000.
Computational Logic — CL 2000.
Vol. 1861,
Issue. ,
p.
300.
Martel, Matthieu
and
Gengler, Marc
2000.
SPIN Model Checking and Software Verification.
Vol. 1885,
Issue. ,
p.
265.
Boussinot, Fr�d�ric
and
Susini, Jean-Ferdy
2000.
Java threads and SugarCubes.
Software: Practice and Experience,
Vol. 30,
Issue. 5,
p.
545.
Marlow, Simon
Jones, Simon Peyton
Moran, Andrew
and
Reppy, John
2001.
Asynchronous exceptions in Haskell.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 5,
p.
274.
DeLine, R.
2001.
Avoiding packaging mismatch with flexible packaging.
IEEE Transactions on Software Engineering,
Vol. 27,
Issue. 2,
p.
124.
Martel, Matthieu
and
Gengler, Marc
2001.
Euro-Par 2001 Parallel Processing.
Vol. 2150,
Issue. ,
p.
504.
Alur, R.
and
Grosu, R.
2001.
Shared variables interaction diagrams.
p.
281.
Kobayashi, Naoki
2002.
A Type System for Lock-Free Processes.
Information and Computation,
Vol. 177,
Issue. 2,
p.
122.
Nielson, Hanne Riis
and
Nielson, Flemming
2002.
The Essence of Computation.
Vol. 2566,
Issue. ,
p.
223.
Kobayashi, Naoki
2003.
Formal Methods at the Crossroads. From Panacea to Foundational Support.
Vol. 2757,
Issue. ,
p.
439.
Johnston, David
Fleury, Martin
and
Downton, Andy
2003.
Euro-Par 2003 Parallel Processing.
Vol. 2790,
Issue. ,
p.
750.
Hauser, C.H.
and
Benson, D.B.
2004.
On the practicality and desirability of highly-concurrent, mostly-functional programming.
p.
115.
Watkins, Kevin
Cervesato, Iliano
Pfenning, Frank
and
Walker, David
2004.
Types for Proofs and Programs.
Vol. 3085,
Issue. ,
p.
355.
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.
Neubauer, Matthias
and
Thiemann, Peter
2004.
Practical Aspects of Declarative Languages.
Vol. 3057,
Issue. ,
p.
56.
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.
Iversen, J.
and
Mosses, P.D.
2005.
Constructive Action Semantics for Core ML.
IEE Proceedings - Software,
Vol. 152,
Issue. 2,
p.
79.
Murphy VII, Tom
Crary, Karl
and
Harper, Robert
2005.
Computer Science Logic.
Vol. 3634,
Issue. ,
p.
51.
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.