Some Resources for Teaching Concurrency

Míreanna comhchosúla

• ISP: A Tool for Model Checking MPI Programs
  de réir: Vakkalanka, S, et al.
  Foilsithe / Cruthaithe: (2008)
• THE IMPORTANCE OF NEUROPSYCHOLOGICAL DEFICITS RELATING TO SELF-CONTROL AND TEMPERAMENT TO THE PREVENTION OF SERIOUS ANTISOCIAL BEHAVIOR
  de réir: Matt DeLisi, et al.
  Foilsithe / Cruthaithe: (2011-01-01)
• The role of synthetic biology in climate change mitigation
  de réir: Charles DeLisi
  Foilsithe / Cruthaithe: (2019-08-01)
• A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
  de réir: Sharma, S, et al.
  Foilsithe / Cruthaithe: (2008)
• Career criminals in society /
  de réir: 187581 DeLisi, Matt
  Foilsithe / Cruthaithe: (2005)