An execution architecture for GSL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1878, Issue , 2000, Pages 394-413

  Stoddart, Bill ^a  

^a TEESSIDE UNIVERSITY   (United Kingdom)

Author keywords

Animation; B; Reversible computation; Virtual machines

Indexed keywords

ANIMATION; BORON; CLONE CELLS; CONCRETE MIXTURES; FORMAL SPECIFICATION; NETWORK SECURITY; VIRTUAL MACHINE;

ABSTRACT PROGRAMS; CONCRETE COMPONENTS; FREE MIXTURES; MACHINE ARCHITECTURES; NON DETERMINISM; PROBABILISTIC EXTENSION; REVERSIBLE COMPUTATIONS;

ARCHITECTURE;

EID: 84937510283     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44525-0_23     Document Type: Conference Paper

References (16)

1. J R Abrial. Extending B without Changing it (for Developing Distributed Systems). In H Habrias, editor, The First B Conference, ISBN: 2-906082-25-2, 1996.
2. J R Abrial and L Mussat. Introducing Dynamic Constraints in B. In Bert D, editor, B98: Recent Developments in the Use of the B Method., number 1393 in Lecture Notes in Computer Science, 1998.
3. H G Baker. The Thermodynamics of Garbage Collection. In Y Bek-kers and Cohen J, editors, Memory Management: Proc IWMM'92, number 637 in Lecture Notes in Computer Science, 1992. See http://ftp.netcom.com/pub/hb/hbaker/ReverseGC.html.
4. C Bennett. The logical reversibility of computation. IBM Journal of Research and Development, 6, 1973.
5. C Bennett. The thermodynamics of computation. International Journal of Theoretical Physics, 21 pp 905-940, 1982.
6. M Butler. Csp2b: A practical approach to combining CSP and B. In J M Wing, Woodcock J, and Davies J, editors, FM99 vol 1, Lecture Notes in Computer Science, no 1708. Springer Verlag, 1999.
7. M J Butler. An approach to the design of distributed systems with B AMN. In J P Bowen, M J Hinchey, and Till D, editors, ZUM '97: The Z Formal Specification Notation, number 1212 in Lecture Notes in Computer Science, 1997.
8. ANSI J14 Technical Committee. American National Standard for Information Systems: Programming Languages-Forth. American National Standards Institute, 1994.
9. S E Dunne, A J Galloway, and Stoddart W J. Specification and Refinement in General Correctness. In A Evans, editor, 3rd Northern Formal Methods Workshop, EWIC (Electronic Workshops in Computing): www/ewic.org.uk/ewic/workshop/view.cfm/NFM-98. BCS, 1998.
10. S E Dunne, W J Stoddart, and A J Galloway. Extending the generalised substitution to model semi-decidable operations. In H Habrias, editor, The First B Conference, ISBN: 2-906082-25-2, 1996.
11. D Jacobs and D Gries. General Correctness: a unification of partial and total correctness. Acta Informatica, 22, 1985.
12. J McCarthy. The inversion of functions defined by Turing Machines. In C E Shannon and J McArthy, editors, Automata Studies. Princeton, 1956.
13. C Moore. Forth, a new way to program mini-computers. The Annals of Leiden Observatory, 1972. See http://forth.gsfc.nasa.gov1.
14. C Morgan. The Generalised Substitution Language Extended to Probabalistic Programs. In Bert D, editor, B98: Recent Developments in the Use of the B Method., number 1393 in Lecture Notes in Computer Science, 1998.
15. W J Stoddart. An Introduction to the Event Calculus. In JPBowen, MJHinchey, and Till D, editors, ZUM '97: The Z Formal Specification Notation, number 1212 in Lecture Notes in Computer Science, 1997.
16. W J Stoddart, S E Dunne, Galloway A J, and Shore R. Abstract State Machines: Designing Distributed Systems with State Machines and B. In Bert D, editor, B98: Recent Developments in the Use of the B Method., number 1393 in Lecture Notes in Computer Science, 1998.