Refining interfaces of communicating systems-Reference-Cited by-同舟云学术

Refining interfaces of communicating systems

Published:1991 Issue: Volume: Page:297-312
ISSN:0302-9743
Container-title:TAPSOFT '91
language:
Short-container-title:

Author:

Brinksma Ed,Jonsson Bengt,Orava Fredrik

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3540539816_73.pdf

Reference17 articles.

1. L. Aceto and M. Hennessy. Towards action-refinement in process algebras. Technical Report 3/88, Department of Computer Science, University of Sussex, 1988.

2. R.J.R. Back. A method for refining atomicity in parallel algorithms. In Proc. PARLE 89, volume 365 of Lecture Notes in Computer Science, pages 199–216, Springer Verlag, 1989.

3. S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560–599, 1984.

4. S.D. Brookes and A.W. Roscoe. An improved failures model for communicating processes. In Brookes, Roscoe, and Winskel, editors, Proc. Seminar on Concurrency, 1984, volume 197 of Lecture Notes in Computer Science, pages 268–280. Springer Verlag, 1985.

5. CCITT. CCITT Recomendation I.451:ISDN user-network interface layer 3 specification, 1985.

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

1. Using Interface Refinement to Integrate Formal Verification into the Design Cycle;Computer Aided Verification;2004

2. Compositional Development in the Event of Interface Difference;Concurrency in Dependable Computing;2002

3. Conformance Checking for Models of Asynchronous Message Passing Software;Computer Aided Verification;2002

4. Refining Interactions in a Distributed System;Formal Approaches to Agent-Based Systems;2001

5. Action Contraction;CONCUR 2000 — Concurrency Theory;2000