10 research outputs found
On the whereabouts of CSP-CASL – A survey
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
Annual report, Hudson, New Hampshire, for year ending June 30, 2008.
This is an annual report containing vital statistics for a town/city in the state of New Hampshire
Report the select committee of the United States Senate, appointed under Senate resolution of March 3, 1887, to inquire into and examine the methods of business and work in the executive departments, etc., and the causes of delays in transacting the public business, etc
Methods of Transacting Business in the Executive Depts. [2521-2522] Including the OIA
The Whitworthian 1954-1955
The Whitworthian student newspaper, September 1954-May 1955.https://digitalcommons.whitworth.edu/whitworthian/1038/thumbnail.jp
The Whitworthian 1950-1951
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
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