gpi-calculus
alphaDescription
An Eclipse plugin supporting a new method, a process algebra and simulation tool for estimating quantitative properties of reliability and resource requirements of a distributed system with complex behaviour hereunder complex fault-tolerance behaviour.
Update Notifications
User Reviews
Be the first to post a review of gpi-calculus!