An Interleave Principle for Demonstrating concurrent Programs.

Ted G. Lewis Keith R. Spitz Paul E. McKenney

Published in: IEEE Softw. (1984)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
concurrent processes
machine learning
formal methods