Executable Formal Models of Distributed Transaction Systems Based on Event Processing
John J. Kenney · 1996
this document are those of the author and should not be interpreted as representative of the official policies, either expressed or implied, of the ONR or the U.S. Government. vii Contents Preface iv Acknowledgements vi 1 Introduction 1