4 ms·
Any write up about the errors they found? Are they a problem with SCOOP as such or an implementation issue?
by fiddlerwoaroof 10y ago
Any write up about the errors they found? Are they a problem with SCOOP as such or an implementation issue?
- nickpsecurity 10y agoMy memory is hazy but the abstract suggests this is the one I read before: http://se.ethz.ch/~meyer/publications/concurrency/scoop_maude.pdf http://se.ethz.ch/~meyer/publications/concurrency/scoop_maud... The good thing about SCOOP particularly is there was a lot of CompSci work improving on it in many ways. Most of the safer, concurrency models didn't get such attention. Example: http://cme.ethz.ch/publications/ http://cme.ethz.ch/publications/