Semantic independence

This publication has 4 references indexed in Scilit:

• A methodology for programming with concurrency: the formalism
  Science of Computer Programming, 1982
• A formal model of atomicity in asynchronous systems
  Acta Informatica, 1981
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• Analysis of Programs for Parallel Processing
  IEEE Transactions on Electronic Computers, 1966