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
Authors: Turner, Kenneth J
Contact Email:
Title: The N-Body Problem in LOTOS
Editors: Bowman, Howard
Citation: Turner KJ (2001) The N-Body Problem in LOTOS, Electronic Notes in Theoretical Computer Science, 43, FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000, pp. 113-135.
Issue Date: May-2001
Conference Name: FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000
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.
Type: Conference Paper
Status: Pre-print (pre-refereeing)
Rights: Published by Elsevier
Affiliation: Computing Science - CSM Dept

Files in This Item:
File Description SizeFormat 
nbody-lot.pdf104.74 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.