Stuck-Free Conformance-Reference-Cited by-同舟云学术

Stuck-Free Conformance

Published:2004 Issue: Volume: Page:242-254
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Fournet Cédric,Hoare Tony,Rajamani Sriram K.,Rehof Jakob

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27813-9_19.pdf

Reference13 articles.

1. Lecture Notes in Computer Science;R. Alur,1998

2. Brinksma, E., Heerink, L., Tretmans, J.: Developments in testing transition systems. In: Testing of Communicating Systems, IFIP TC6 10th International Workshop on Testing of Communicating Systems, pp. 143–166. Chapman and Hall, Boca Raton (1997)

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

4. Lecture Notes in Computer Science;L. Alfaro de,2001

5. Fournet, C., Hoare, C.A.R., Rajamani, S.K., Rehof, J.: Stuck-free conformance theory for CCS. Technical report, Microsoft Research (2004)

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

1. Process Equivalence Problems as Energy Games;Computer Aided Verification;2023

2. Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types;ACM Transactions on Programming Languages and Systems;2022-07-15

3. Open Compliance in Multiparty Sessions;Formal Aspects of Component Software;2022

4. List of Tony Hoare’s Publications;Theories of Programming;2021-10-02

5. Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols;Programming Languages and Systems;2021