Investigating a file transfer protocol using CSP and B-Reference-Cited by-同舟云学术

Investigating a file transfer protocol using CSP and B

Published:2005-07 Issue:3 Volume:4 Page:258-276
ISSN:1619-1366
Container-title:Software & Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

Evans Neil,Treharne Helen

Publisher

Springer Science and Business Media LLC

Subject

Modelling and Simulation,Software

Link

http://link.springer.com/content/pdf/10.1007/s10270-005-0084-3.pdf

Reference26 articles.

1. Abadi M, Lamport L (1993) Composing Specifications. ACM Transactions on Programming Languages and Systems 15(1):73–132, January 1993

2. Abrial JR (1996) The B Book: Assigning Programs to Meaning. CUP

3. Abrial JR (1996) Extending B without changing it (for developing distributed systems). In: Habrias H (ed) 1st Conference on the B Method, Nantes, November 1996, pp 169–190

4. Abrial JR, Mussat L (1997) Specification and Design of a Transmission Protocol by Successive Refinements using B. Mathematical Models in Program Development 158:129–200. Springer, Nato ASI Series F: Computer and Systems Sciences

5. Behm P, Desforges P, Maynadier JM (1998) METEOR: An Industrial Success in Formal Development. B’98, Montpellier, April 1998, LNCS, vol 1393. Springer

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Relaxing B Sharing Restrictions within CSP||B;Software Composition;2012

2. Using CSP||B Components: Application to a Platoon of Vehicles;Formal Methods for Industrial Critical Systems;2009

3. A Step towards Merging xUML and CSP ${\| \ }$ B;Rigorous Methods for Software Construction and Analysis;2009

4. Interactive tool support for CSP || B consistency checking;Formal Aspects of Computing;2007-08

5. Applying CSP || B to information systems;Software & Systems Modeling;2007-04-11