Checking Concurrent Contracts with Aspects

Míreanna comhchosúla

• Checking concurrent contracts with aspects
  de réir: Kerfoot, E, et al.
  Foilsithe / Cruthaithe: (2010)
• Maintaining Invariants Through Object Coupling Mechanisms
  de réir: Kerfoot, E, et al.
  Foilsithe / Cruthaithe: (2007)
• Deadlock Freedom Through Object Ownership
  de réir: Kerfoot, E, et al.
  Foilsithe / Cruthaithe: (2009)
• New methods of concurrent checking /
  de réir: Goessel, Michael
  Foilsithe / Cruthaithe: (2008)
• Model Checking Concurrent Linux Device Drivers
  de réir: Witkowski, T, et al.
  Foilsithe / Cruthaithe: (2007)