Value-Passing CCS in HOL

  • Authors:

  • Monica Nesi

  • Affiliations:

  • -

  • Venue:
  • HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
  • Year:
  • 1993

  • Process Algebra in PVS

    TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems

  • Symbolic Functional Evaluation

    TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics

Quantified Score

Hi-index 0.00

Visualization

Abstract