@incollection{deploy207,
       booktitle = {15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010},
           title = {Patterns for Modelling Time and Consistency in Business Information Systems},
          author = {Jeremy W. Bryans and John S. Fitzgerald and Alexander Romanovsky and A. Roth},
       publisher = {IEEE Computer Society},
            year = {2010},
             url = {http://deploy-eprints.ecs.soton.ac.uk/207/},
        abstract = {Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current work aims to use Event-B and the Rodin tools to support the specification and design of such systems in a way that integrates well into existing development processes. This paper presents Event-B patterns that may be used to represent recovery from timebounded inconsistency and illustrates their use in a model derived from industrial applications.}
}

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>