Travelled to:1 × Italy
Collaborated with:T.T.Hildebrandt A.J.Faithfull S.Debois
Talks about:bigraph (2) environ (1) develop (1) checker (1) model (1) red (1) big (1)
Person: Gian Perrone
DBLP: Perrone:Gian
Contributed to:
2013
2012Wrote 2 papers:
- GCM-J-2012-FaithfullPH #development #graph
- Big Red: A Development Environment for Bigraphs (AJF, GP, TTH).
- SAC-2012-PerroneDH #graph #model checking
- A model checker for Bigraphs (GP, SD, TTH), pp. 1320–1325.