Sciweavers

LOBJET
2000
84views more  LOBJET 2000»
14 years 7 days ago
Typing Concurrent Objects and Actors
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
Fabien Dagnat, Marc Pantel, Matthias Colin, Patric...