previous up next
Go backward to Logic Versus Programming
Go up to Top
Go forward to The Logic of Actions
RISC-Linz logo

Goals of a Programming Logic

Reasoning about concurrent algorithms.


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next