MURAL - Maynooth University Research Archive Library

    An Exercise in Formalizing the Description of a Concurrent System

    Bustard, D.W. and Norris, M.T. and Orr, R.A. and Winstanley, Adam C. (1992) An Exercise in Formalizing the Description of a Concurrent System. Software: Practice and Experience, 22 (12). pp. 1069-1098. ISSN 1097-024X

    Download (380kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    LOTOS is one of the most recent formal description languages to appear and one of very few with a standard definition. It has both a process algebra and an abstract data-type component, and these facilities are used in combination to describe the behaviour of concurrent systems. The purpose of this paper is to examine, in a tutorial style, what is involved in constructing and taking benefit from such descriptions. The presentation is illustrated through the development of two formal descriptions for the children’s game of pass-the-parcel. These descriptions and a concise summary of the main features of LOTOS are given as appendices. Many of the points made in the paper apply equally well to other process-oriented languages such as CCS and CSP.

    Item Type: Article
    Keywords: Formal description; Specification styles; Concurrency Process algebra; Abstract data types; LOTOS;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 10385
    Identification Number:
    Depositing User: Dr. Adam Winstanley
    Date Deposited: 07 Jan 2019 15:52
    Journal or Publication Title: Software: Practice and Experience
    Publisher: John Wiley & Sons
    Refereed: Yes
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Repository Staff Only(login required)

    View Item Item control page


    Downloads per month over past year

    Origin of downloads