The Specification and Verification of an Experimental ATM Signalling Protocol-Reference-Cited by-同舟云学术

The Specification and Verification of an Experimental ATM Signalling Protocol

Published:1996 Issue: Volume: Page:155-170
ISSN:1868-4238
Container-title:Protocol Specification, Testing and Verification XV
language:
Short-container-title:

Author:

Barnard Dieter,Crosby Simon

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-34892-6_10

Reference16 articles.

1. Birrell, A. and Nelson, G. (1984) Implementing RPC. ACM Transactions on Computer Systems, 2 (1).

2. Black, R., Leslie, I. and McAuley, D. (1994) Experiences of building an ATM switch for the Local Area. In Communications Architectures, Protocols and Applications volume 24(4) of Computer Communications Review. ACM SIGCOMM, ACM Press.

3. Bryant, R.E. (1992) Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24 (3): 293–318.

4. Burch, J.R., Clarke E.M., McMillan K.L., Dill D.L. and Hwang, L.J. (1992) Symbolic model checking: 1020 states and beyond. Information and Computation, 98: 142–170.

5. Chandy, K.M. and Misra, J. (1988) Parallel Program Design - A Foundation. Addison-Wesley, Reading, Massachusetts.

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

1. Automated Formal Analysis of Networks;Dependable Network Computing;2000

2. Formal Methods and Industrial-Strength Computer Networks;Requirements Targeting Software and Systems Engineering;1998

3. The steam-boiler problem — A TLT solution;Formal Methods for Industrial Applications;1996

4. A solution relying on the model checking of boolean transition systems;Formal Systems Specification;1996

5. Rapid prototyping for an assertional specification language;Tools and Algorithms for the Construction and Analysis of Systems;1996