Introducing dynamic constraints in B

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

Volumn 1393, Issue , 1998, Pages 83-128

  Abrial, Jean Raymond ^a   Mussat, Louis ^b  

^a Environmental Consultant   (France)

^b Service Central de la Sécurité des Systèmes d Information   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

DYNAMIC CONSTRAINTS; PROOF OBLIGATIONS; THEORETICAL FOUNDATIONS; TWO-POINT;

ARTIFICIAL INTELLIGENCE;

EID: 84949207890     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053357     Document Type: Conference Paper

References (13)

1. J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)
2. J.-R. Abrial. Extending B Without Changing it (for Developing Distributed Systems). First B Conference (H. Habrias editor). Nantes (1996)
3. J.-R. Abrial and L. Mussat. Specification and Design of a Transmission Protocol by Successive Refinements Using B. in Mathematical Methods in Program Development Edited by M.Broy and B. Schieder. Springer-Verlag (1997)
4. K.R. Apt and E.-R. Olderog. Proof Rules and Transformations Dealing with Fairness. Science of Computer Programming (1983)
5. R.J.R. Back and R. Kurki-Suonio. Decentralization of Process Nets with Centralized Control. 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing (1983)
6. M.J. Butler. Stepwise Refinement of Communicating Systems. Science of Computer Programming (1996)
7. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley (1988)
8. I.J. Hayes (editor). Specification Case Study. Prentice-Hall (1987)
9. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall (1985)
10. L. Lamport. The Temporal Logic of Actions. SRC Report 57 (1991)
11. Z. Manna and A. Pnueli. Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Systems. Science of Computer Programming (1984)
12. A. Udaya Shankar An Introduction to Assertional Reasoning for Concurrent Systems. ACM Computing Survey (1993)
13. Steria. Atelier B Version 3.3. (1997)