Bismulation and effectiveness

https://doi.org/10.1016/0020-0190(89)90168-3Get rights and content

References (4)

  • G. Boudol

    Notes on algebraic calculi of processes

  • R.M. Keller

    Formal verification of parallel programs

    Comm. ACM

    (1976)
There are more references available in the full text version of this article.

Cited by (0)

View full text