The N-body problem in LOTOS

Electronic Notes in Theoretical Computer Science

Volumn 43, Issue , 2001, Pages 113-135

  Turner, Kenneth J ^a  

^a UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; EMBEDDED SYSTEMS; EQUATIONS OF MOTION; GRAVITATIONAL EFFECTS; PROBLEM SOLVING; SYSTEMS ANALYSIS;

AIR TRAFFIC SIMULATION; GRAPHICAL ANIMATION; LANGUAGE OF TEMPORAL ORDERING SPECIFICATION (LOTOS); LOTOS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0011508183     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80897-1     Document Type: Conference Paper

References (13)

1. Clark R.G. Using LOTOS in the object-based development of embedded systems. Rattray C.M.I., Clark R.G. The Unified Computation Laboratory. 1992;307-319
2. Fernández J.-C., H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier and M. Sighireanu, CADP (CéSAR/ALDEBARAN Development Package): A protocol validation and verification toolbox, in: R. Alur and T. A. Henzinger, editors, Proc. 8th. Conference on Computer-Aided Verification, number 1102 in Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 1996 pp. 437-440.
3. Garavel H., Hautbois R.-P. Experimenting LOTOS in aerospace industry. Rus T., Rattray C.M.I. Theories and Experience for Real-time system Development. 1994;World Scientific
4. Gibson, J. P., A LOTOS-based approach to neural network specification, Technical Report CSM-112, Department of Computing Science and Mathematics, University of Stirling, UK (1993).
5. ISO/IEC, "Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique based on the Temporal Ordering of Observational Behaviour, "ISO/IEC 8807, International Organization for Standardization, Geneva, Switzerland, 1989.
6. He Ji, Turner K.J. Specification and verification of synchronous hardware using LOTOS. Wu J., Chanson S.T., Gao Q. Proc. Formal Methods for Protocol Engineering and Distributed Systems (FORTE XII/PSTV XIX). 1999;295-312
7. Mañias, J. A., T. de Miguel Moro, T. Robles Valladares, J. Salvachua, G. Huecas and M. Veiga, TOPO user manual (version 3R6), Technical report, Department of Telematic Systems Engineering, Polytechnic University of Madrid, Spain (1995).
8. McClenaghan A. Experience of using LOTOS within the CIM-OSA project. Parker K.R., Rose G.A. Formal Description Techniques IV. 1992;109-116
9. Reade, C. M. P., Process algebra in the specification of graphics standards, Technical Report CSTR-92-1, Department of Computer Science, Brunel University, Middlesex, UK (1992).
10. Seindal R., GNU m4 (version 1.4), Technical report, Free Software Foundation (1997).
11. Thomas M.H. The story of the Therac-25 in LOTOS. High Integrity Systems Journal. 1:1994;3-15
12. Turner, K. J., A. McClenaghan and C. Chan, Specification and animation of reactive systems, in: V. Atalay, U. Halici, K. Inan, N. Yalabik and A. Yazici, editors, Proc. International Symposium on Computer and Information Systems XI (1996), pp. 355-364.
13. Yasumoto K., Kitajima A., Higashino T., Taniguchi K. Hardware synthesis from protocol specifications in LOTOS. Budkowski S., Najm E., Cavalli A. Proc. Formal Description Techniques XI/Protocol Specification, Testing and Verification XVIII. 1998;Chapman-Hall, London, UK