AbstractCell

Formal abstraction of quantitative semantics for protein-protein interaction cellular network models.

---

Members

• Ferdinanda Camporesi (Bologne)
• Jérôme Feret
• Norman Ferns

Former members

• Luca Grieco
• Jonathan Hayman
• Alessandro Romanel

Frequent collaborators

• Vincent Danos (Edinburgh)
• Walter Fontana (Harvard Medical School)
• Russ Harmer (Paris-Diderot)
• Jonathan Hayman (Cambridge)
• Heinz Koeppl (ETH Zurich)
• Jean Krivine (Paris-Diderot)
• Tatjana Petrov (ETH Zurich)
• Glynn Winskel (Cambridge)

Software and community

• Kappa language
• Kappa-users google group
• Kappa developers google group

---

Jérôme Feret, Last modified: 22 Jul 2013, 10:16:57 CEST