Mark d'Inverno

Available identifiers

zbMath Open dinverno.markMaRDI QIDQ407509

List of research outcomes

Publication	Date of Publication	Type
Specifying termination in CSP	2014-09-02	Paper
A CSP model with flexible parallel termination semantics	2009-11-13	Paper
Transactions on Computational Systems Biology III	2006-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4813422	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4813549	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4473077	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4473092	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4446613	2004-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4441041	2003-12-30	Paper
https://portal.mardi4nfdi.de/entity/Q4424372	2003-09-04	Paper
Unifying agent systems	2003-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4536757	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2757864	2001-12-04	Paper
A conceptual framework for agent definition and development	2001-10-14	Paper
Engineering AgentSpeak(L): a formal computational model	1998-11-09	Paper

Research outcomes over time

This page was built for person: Mark d'Inverno