{"ref":null,"ref_type":"repository","master_branch":"master","description":"A translator from a Circus model to CSP ||b Z in terms of CSP || B","pusher_type":"user"}
{"actor":{"display_login":"RandallYe"}}