Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.

Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth

Browse the full ICECCS paper archive.