Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
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.
Boussinot, Fr�d�ric
and
Susini, Jean-Ferdy
2000.
Java threads and SugarCubes.
Software: Practice and Experience,
Vol. 30,
Issue. 5,
p.
545.
Alur, R.
and
Grosu, R.
2001.
Shared variables interaction diagrams.
p.
281.
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.
Marlow, Simon
Jones, Simon Peyton
Moran, Andrew
and
Reppy, John
2001.
Asynchronous exceptions in Haskell.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 5,
p.
274.
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.
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.
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.
Neubauer, Matthias
and
Thiemann, Peter
2004.
Practical Aspects of Declarative Languages.
Vol. 3057,
Issue. ,
p.
56.
Kristensen, Lars Michael
and
Christensen, Søren
2004.
Implementing Coloured Petri Nets Using a Functional Programming Language.
Higher-Order and Symbolic Computation,
Vol. 17,
Issue. 3,
p.
207.
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.
Hauser, C.H.
and
Benson, D.B.
2004.
On the practicality and desirability of highly-concurrent, mostly-functional programming.
p.
115.
Niehren, Joachim
Schwinghammer, Jan
and
Smolka, Gert
2005.
Frontiers of Combining Systems.
Vol. 3717,
Issue. ,
p.
248.
Garg, Deepak
and
Pfenning, Frank
2005.
CONCUR 2005 – Concurrency Theory.
Vol. 3653,
Issue. ,
p.
6.