Home › Authors › Amir Pnueli 👤 Amir Pnueli 2 books Books by Amir Pnueli Compositionality : the Signifi Compositionality : the Significant Difference 2003 The temporal logic of reactive and concurrent systems 1991
