Pi calculus programs for http://www.emanueledosualdo.com/stargazer/?gist=333c61af10f166b7490f82c7414f4ad5

Query-Respond-Notify.pi

new oq, qr, n, req. (Init[oq, req] | S[oq, qr] | I[qr, n] | F[n])
S[oq, qr] := oq(req).new query.S_query[qr, query]
S_query[qr, query] := qr<query>.S[qr, qr]
I[qr, n] := qr(query).new response.I_notice[qr, n, response]
I_notice[qr, n, response] := n<response>.I_respond[qr, n, response]
I_respond[qr, n, resp] := qr<resp>.I[qr, n]
F[n] := n(resp).F_recv[n]
F_recv[n] := τ.F[n]
Init[qr, req] := qr<req>

Query-Respond.json

{
  "showLabels": "true"
}

Query-Respond.pi

new cxn, req. (Init[cxn, req] | S[cxn] | I[cxn])
S[cxn] := cxn(req).new query.S_query[cxn, query]
S_query[cxn, query] := cxn<query>.S[cxn]
I[cxn] := cxn(query).new response.I_respond[cxn, response]
I_respond[cxn, resp] := cxn<resp>.I[cxn]
Init[cxn, req] := cxn<req>