1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Conference Papers and Proceedings
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/611
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTurner, Kenneth Jen_UK
dc.date.accessioned2017-08-16T23:35:14Z-
dc.date.available2017-08-16T23:35:14Z-
dc.date.issued2001-05en_UK
dc.identifier.urihttp://hdl.handle.net/1893/611-
dc.description.abstractIt 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.en_UK
dc.language.isoenen_UK
dc.publisherElsevieren_UK
dc.relationTurner 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. https://doi.org/10.1016/S1571-0661%2804%2980897-1en_UK
dc.relation.urihttps://www.cs.kent.ac.uk/people/staff/hb5/Elsewhere/en_UK
dc.rightsCopyright 2001. Published by Elsevier Science B. V. Open access under CC BY-NC-ND licenseen_UK
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/en_UK
dc.titleThe N-Body Problem in LOTOSen_UK
dc.typeConference Paperen_UK
dc.identifier.doi10.1016/S1571-0661(04)80897-1en_UK
dc.citation.jtitleElectronic Notes in Theoretical Computer Scienceen_UK
dc.citation.issn1571-0661en_UK
dc.citation.volume43en_UK
dc.citation.issueMayen_UK
dc.citation.spage113en_UK
dc.citation.epage135en_UK
dc.citation.publicationstatusPublisheden_UK
dc.citation.peerreviewedUnrefereeden_UK
dc.type.statusVoR - Version of Recorden_UK
dc.author.emailkjt@cs.stir.ac.uken_UK
dc.citation.conferencedates2000-10-10en_UK
dc.citation.conferencelocationPisa, Italyen_UK
dc.citation.conferencenameFM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000en_UK
dc.citation.date28/09/2004en_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.identifier.scopusid2-s2.0-0011508183en_UK
dc.identifier.wtid831739en_UK
dcterms.dateAccepted2004-09-28en_UK
dc.date.filedepositdate2008-12-14en_UK
rioxxterms.typeConference Paper/Proceeding/Abstracten_UK
rioxxterms.versionVoRen_UK
local.rioxx.authorTurner, Kenneth J|en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.freetoreaddate2008-12-14en_UK
local.rioxx.licencehttp://creativecommons.org/licenses/by-nc-nd/4.0/|2008-12-14|en_UK
local.rioxx.filename1-s2.0-S1571066104808971-main.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source1571-0661en_UK
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

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

View License
Show simple item record


A file in this item is licensed under a Creative Commons License Creative Commons

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

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/

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