CoLoSL: Concurrent Local Subjective Logic

Azalea Raad, Jules Villard, Philippa Gardner. CoLoSL: Concurrent Local Subjective Logic. In Jan Vitek, editor, Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Volume 9032 of Lecture Notes in Computer Science, pages 710-735, Springer, 2015. [doi]

Authors

Azalea Raad

This author has not been identified. Look up 'Azalea Raad' in Google

Jules Villard

This author has not been identified. Look up 'Jules Villard' in Google

Philippa Gardner

This author has not been identified. Look up 'Philippa Gardner' in Google