jBPT

MaRDI QIDQ44881swMATHFDO

Official website https://github.com/jbpt/codebase/

Source code repository https://github.com/jbpt/codebase/

Cited in

(2)

• The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
• Untanglings: a novel approach to analyzing concurrent systems

This page was built for software: jBPT