An Incremental Bisimulation Algorithm-Reference-Cited by-同舟云学术

An Incremental Bisimulation Algorithm

Published:2007 Issue: Volume: Page:204-215
ISSN:0302-9743
Container-title:FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
language:
Short-container-title:

Author:

Saha Diptikalyan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-77050-3_17.pdf

Reference25 articles.

1. Acar, U.A., Blelloch, G.E., Harper, R.: Adaptive functional programming. In: ACM POPL, New York, NY, USA, vol. 37, pp. 247–259. ACM Press, New York (2002)

2. Lecture Notes in Computer Science;S. Basu,2001

3. Benthem, J.V.: Modal Correspondence Theory. PhD thesis, University van Amsterdam (1976)

4. CADP. Caesar/aldebran developement package c1.112, Available at (2001), http://www.inrialpes.fr/vasy/cadp.html

5. CWB-NC. The concurrency workbench of new century v1.1.1, Available at (2001), http://www.cs.sunysb.edu/~cwb

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

1. BisPy: Bisimulation in Python;Journal of Open Source Software;2021-09-28

2. A formal verification technique for behavioural model-to-model transformations;Formal Aspects of Computing;2018-01

3. Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique;Fundamental Approaches to Software Engineering;2016

4. Efficient Property Preservation Checking of Model Refinements;Tools and Algorithms for the Construction and Analysis of Systems;2013

5. Optimizing Incremental Maintenance of Minimal Bisimulation of Cyclic Graphs;Database Systems for Advanced Applications;2011