Informatics Report Series


Vincent Danos

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Report Date Title
EDI-INF-RR-1180 Sep 2004 Modelling and querying biomolecular interaction networks
EDI-INF-RR-1173 Jul 2002 Probabilistic Game Semantics
EDI-INF-RR-1171 Sep 2007 Rule-based modelling of cellular signalling
EDI-INF-RR-1170 Apr 2006 Bisimulation and cocongruence for probabilistic systems
EDI-INF-RR-1169 2004 Formal Molecular Biology
EDI-INF-RR-1167 Nov 2006 Determinism in the one-way model
EDI-INF-RR-1165 Apr 2004 The Measurement Calculus

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh