Please use this identifier to cite or link to this item:
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Unrefereed
Author(s): Turner, Kenneth J
Contact Email:
Title: The N-Body Problem in LOTOS
Citation: Turner KJ (2001) The N-Body Problem in LOTOS. FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000, Pisa, Italy, 10.10.2000. Electronic Notes in Theoretical Computer Science, 43 (May), pp. 113-135.
Issue Date: May-2001
Conference Name: FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000
Conference Dates: 2000-10-10
Conference Location: Pisa, Italy
Abstract: It is shown how the classical n-body problem in mechanics can be generalised and formalised in LOTOS. A number of variants are produced by instantiation of the specification framework. These include Newton’s cradle, gas motion, the ‘game of life’, an orrery, a space game, an air traffic simulation and a sailing race. It is shown how these are derived from the generic framework using a configuration tool. The resulting LOTOS specifications are simulated automatically to graphically animate the system behaviour.
Status: VoR - Version of Record
Rights: Copyright 2001. Published by Elsevier Science B. V. Open access under CC BY-NC-ND license

Files in This Item:
File Description SizeFormat 
1-s2.0-S1571066104808971-main.pdfFulltext - Published Version141.39 kBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.