Susan Owicki
- An axiomatic proof technique for parallel programs I
1976/01/01 by Susan Owicki, David Gries · 11 citations
Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Parallel Computing and Optimization Techniques