How to drive a B machine

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

Volumn 1878, Issue , 2000, Pages 188-208

  Treharne, Helen ^a   Schneider, Steve ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

B Method; Combining formalisms; CSP; Embedded systems; Programming calculi

Indexed keywords

BIOMINERALIZATION; EMBEDDED SYSTEMS; SEMANTICS;

B METHOD; COMBINING FORMALISMS; LIVENESS PROPERTIES; PROCESS ALGEBRAS; PROGRAMMING CALCULI; SEMANTIC MODEL; STATE BASED; STATES CHANGE;

FORMAL METHODS;

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

References (16)

1. Abrial J. R.: The B Book: Assigning Programs to Meaning, CUP (1996).
2. Abrial J. R.:Extending B without Changing it (for Developing Distributed Systems). In H. Habrias, editor, Proc. of the 1st B Conference, Nantes, France (1996).
3. Butler M.J.: A CSP Approach to Action Systems. D.Phil Thesis, Programming Research group, Oxford University (1992).
4. Butler M.J.:Csp2B: A Practical Approach to Combining CSP and B, In J.M.Wing, J. Woodcock, J. Davies, editors, FM'99 World Congress, Springer (1999).
5. Dijkstra E. W.: A Discipline of Programming, Prentice-Hall (1976).
6. Fischer C.:How to combine Z with a Process Algebra. In J. Bowen, A. Fett, and M.Hinchey, editors, ZUM'98 The Z formal Specication Notation, volume 1493 of LNCS, Springer (1998).
7. Fischer C.: CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), volume 2, Chapman & Hall (1997).
8. Hoare C.A.R.: Communicating Sequential Processes, Prentice Hall (1985).
9. Morgan C.C.:Of wp and CSP. In W.H.J. Feijen, A.J.M. van Gasteren, D. Gries and J. Misra, editors, Beauty is our business: A birthday salute to Edsger W. Dijkstra. Springer (1990).
10. Roscoe A. W., Woodcock J. C. P. and Wulf L.:Non-interference through determinism. In D. Gollmann, editor, ESORICS 94, volume 875 of LNCS, Springer (1994).
11. Roscoe A. W.:The Theory and Practice of Concurrency, Prentice-Hall, 1997.
12. Scattergood J.B.:The Semantics of Machine-Readable CSP, Oxford University D.Phil thesis, 1998.
13. Schneider S.:Concurrent and Real-time Systems: The CSP approach, Wiley, 2000.
14. Stoy, J. E.: Denotational Semantics, MIT Press (1977).
15. Treharne H., Schneider S.: Using a Process Algebra to control B OPERATIONS. In K. Araki, A. Galloway and K. Taguchi, editors, IFM'99, York, Springer (1999).
16. Treharne H., Schneider S.: How to drive a B Machine (Full Version). Technical Report CSD-TR-00-03, Royal Holloway, University of London, May (2000).