Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli.

Kai Engelhardt, Willem P. de Roever

Browse the full FM paper archive.