AbstractCell

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

---

Members

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

Former members

• 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: 28 Nov 2012, 13:25:01 CET