10 research outputs found

    On the whereabouts of CSP-CASL – A survey

    Get PDF
    CSP-CASL is but one of the many languages for which Bernd Krieg-Brueckner (BKB) had a great deal of influence throughout its development process: from the initial idea of working towards an integration of the process algebra CSP with the algebraic specification language CASL, to the design of the concrete syntax, and also to tool support for CSP-CASL, where the theorem prover Isabelle should provide the common platform. In all this, BKB provided inspiration and guidance, funding, and also a helping hand when needed. This paper provides a survey on the technology developed so far for CSP-CASL, covering results of a theoretical nature, an industrial case study, theorem proving support as well as a testing approach. In honour of BKB’s 60th birthday, this survey documents what has become out of one of BKB’s visions

    Preface

    Get PDF

    Annual report, Hudson, New Hampshire, for year ending June 30, 2008.

    Get PDF
    This is an annual report containing vital statistics for a town/city in the state of New Hampshire

    The Whitworthian 1954-1955

    Get PDF
    The Whitworthian student newspaper, September 1954-May 1955.https://digitalcommons.whitworth.edu/whitworthian/1038/thumbnail.jp

    The Whitworthian 1950-1951

    Get PDF
    The Whitworthian student newspaper, July 1950-Summer Edition 1951.https://digitalcommons.whitworth.edu/whitworthian/1034/thumbnail.jp

    On the whereabouts of CSP-CASL - A Survey

    No full text
    A. Gimblett, T.Kahsai, L. O"Reilly, M. Roggenbach: On the whereabouts of CSP-CASL — A Survey. In Specification, Transformation, Navigation, Festschrift dedicated to Bernd Krieg-Brückner, Bremen, 2009

    On the whereabouts of CSP-CASL - A survey

    No full text
    corecore