7 ms·
Which model checkers use Pi Calculus? I've thought about learning Pi Calculus but an much less interested if there's no checker.
by Karrot_Kream 8y ago
Which model checkers use Pi Calculus? I've thought about learning Pi Calculus but an much less interested if there's no checker.