Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
UC Berkeley / Portuguese Air Force
- Berkeley, CA
Forked from bigmc/bigmc-gui
A simple GUI interface to the BigMC Bigraphical Model Checker
Scala Bigraph is a Scala implementation of Robin Milner's Bigraph model
Scala BigActors is an implementation of the BigActor Model as a Scala Domain-Specific Language.