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: ||firstname.lastname@example.org|
|Title: ||The N-Body Problem in LOTOS|
|Citation: ||Turner KJ (2001) The N-Body Problem in LOTOS In: , Elsevier. FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000, 10.10.2000, Pisa, Italy, 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-10T00:00:00Z|
|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: ||Publisher version (final published refereed version)|
|Rights: ||Copyright 2001. Published by Elsevier Science B. V. Open access under CC BY-NC-ND license|
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 email@example.com providing details and we will remove the Work from public display in STORRE and investigate your claim.