Lecture notes in computer scienceLocal Sequentiality Does Not Help for Concurrent CompositionAndrew Y. LindellPublished Jan 1, 2009• 0 citationsPublisherDOI10.1007/978-3-642-00862-7_25