LADA — A Logic for the Analysis of Distributed Actions

  • Alan Dix
Part of the Focus on Computer Graphics book series (FOCUS COMPUTER)


This paper presents a formalism, LADA, aimed especially at the description of systems and situations which arise during the design and analysis of groupware. We are particularly interested in highly distributed systems and so LADA explicitly models entities (people and things) acting at different unconnected locations. It not only describes the behaviour of the computer software, but also the social protocols required for its successful use. Temporal logic formulae which follow the subjective history of people and other entities are used to simplify the expression of some of the complicated properties required of real systems.


Temporal Logic Linear Temporal Logic Communicate Sequential Process Proof Rule Temporal Formula 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A. J. Dix and V. C. Miles, Version Control for Asynchronous Group Work, YCS 181, University of York, 1992.Google Scholar
  2. [2]
    A. J. Dix, Beyond the interface, pp. 171–190 in Engineering for Human-Computer Interaction: Proceedings of IFIP TC2/G2.7 Working Conference, Ellivouri, Finland, J. Laron and C. Unger editors, North-Holland, 1992.Google Scholar
  3. [3]
    A. J. Dix & R. Beale, Information Requirements of Distributed Workers, University of York, 1992.Google Scholar
  4. [4]
    A. Dix, Dix, A., J. Finlay, G. Abowd and R. Beale, Human-Computer Interaction, Prentice Hall, 1993.MATHGoogle Scholar
  5. [5]
    C. A. Ellis and S. J. Gibbs, Concurrency control in groupware systems, SIGMOD Record, 18(2), pp.399–407, Proceedings of the ACM SIGMOD International Conference on Management of Data, June 1989.Google Scholar
  6. [6]
    J. Grudin, Why CSCW applications fail: problems in the design and evaluation of organisational interfaces, pp. 85–89 in CSCW’88 Proceedings of the Conference on Computer-Supported Cooperative Work, ACM SIGCHI & SIGOIS, 1988.Google Scholar
  7. [7]
    C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.MATHGoogle Scholar
  8. [8]
    J. J. Kistler and M. Satyanarayanan, Disconnected operation in the Coda file system, ACM Transactions on Computer Systems, 10(1), pp. 3–25, February 1992.CrossRefGoogle Scholar
  9. [9]
    J. Mariani and T. Rodden, The impact of CSCW on database technology, in Proceedings of the IFIP Workishop on CSCW, Berlin, April 1991.Google Scholar
  10. [10]
    H. W. Thimbleby and David Pullinger, Observations on practically perfect CSCW, in CSCW Issues for Mobile and Remote Workers, USE Colloquium, March 1993.Google Scholar
  11. [11]
    I. H. Witten, H. W. Thimbleby, G. F. Coulouris & S. Greenberg, A New Approach to Sharing Data in Social Networks, in Computer-Supported Cooperative Work and Groupware, S. Greenberg editor, Academic Press, ISBN 0–12–299220–2, 1991.Google Scholar

Copyright information

© EUROGRAPHICS The European Association for Computer Graphics 1995

Authors and Affiliations

  • Alan Dix

There are no affiliations available

Personalised recommendations