Computational aspects of Brane calculi - davidar/scholarpedia GitHub Wiki