DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation-Reference-Cited by-同舟云学术

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation

Published:2006 Issue: Volume: Page:445-449
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Garavel Hubert,Mateescu Radu,Bergamini Damien,Curic Adrian,Descoubes Nicolas,Joubert Christophe,Smarandache-Sturm Irina,Stragier Gilles

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11691372_30

Reference9 articles.

1. Lecture Notes in Computer Science;H. Garavel,1998

2. Garavel, H., Lang, F., Mateescu, R.: An Overview of CADP 2001. European Association for Software Science and Technology (EASST) Newsletter 4, 13–24 (2002)

3. Lecture Notes in Computer Science;H. Garavel,2001

4. Lecture Notes in Computer Science;J.F. Groote,2000

5. Joubert, C., Mateescu, R.: Distributed On-the-Fly Equivalence Checking. In: Proc. of PDMC 2004. ENTCS, vol. 128 (2004)

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

1. Compositional Verification of Stigmergic Collective Systems;Lecture Notes in Computer Science;2023

2. Is CADP an Applicable Formal Method?;Electronic Proceedings in Theoretical Computer Science;2021-11-16

3. Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer;Communications in Computer and Information Science;2017-12-30

4. Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard;Electronic Proceedings in Theoretical Computer Science;2015-11-08

5. CADP 2011: a toolbox for the construction and analysis of distributed processes;International Journal on Software Tools for Technology Transfer;2012-06-30