PyRank

Bisimulation Python Packages

Python packages with the GitHub topic bisimulation. Sorted by relevance, with stars and monthly downloads.
fAndreuzzi
bispy

BisPy - Python bisimulation library

2K 17 5
agenticraft
agenticraft-foundation

Formally verified mathematical foundations for multi-agent AI coordination — CSP process algebra, multiparty session types, spectral topology, temporal logic model checking, and probabilistic verification.

940 1 2