Skip to content

@continuouspi Continuous pi-Calculus

Change the repository type filter

All

    Repositories list

    3 repositories

    • lean-cpi

      Public
      systems-biologytheorem-provingleanprocess-calculus
      Lean
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•2•0•Updated Apr 17, 2020Apr 17, 2020

    • cpiwb

      Public
      Continuous pi-Calculus workbench and related tools
      MATLAB
      •
      GNU General Public License v3.0
      •3•0•0•0•Updated Aug 17, 2017Aug 17, 2017

    • cpi-ide

      Public
      Cpi-IDE: An Integrated Development Environment for the Continuous pi-Calculus
      MATLAB
      •
      GNU General Public License v3.0
      •2•1•0•0•Updated Oct 16, 2014Oct 16, 2014