Mark d'Inverno

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Specifying termination in CSP Theoretical Computer Science	2014-09-02	Paper
A CSP model with flexible parallel termination semantics Formal Aspects of Computing	2009-11-13	Paper
Transactions on Computational Systems Biology III Lecture Notes in Computer Science	2006-11-14	Paper
scientific article; zbMATH DE number 2090867 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 2090948 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 2080352 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2080367 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2037283 (Why is no real title available?)	2004-02-03	Paper
scientific article; zbMATH DE number 2020409 (Why is no real title available?)	2003-12-30	Paper
scientific article; zbMATH DE number 1975130 (Why is no real title available?)	2003-09-04	Paper
Unifying agent systems Annals of Mathematics and Artificial Intelligence	2003-03-10	Paper
scientific article; zbMATH DE number 1759741 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1678421 (Why is no real title available?)	2001-12-04	Paper
A conceptual framework for agent definition and development The Computer Journal. Section A Section B	2001-10-14	Paper
Engineering AgentSpeak(L): a formal computational model Journal Of Logic And Computation	1998-11-09	Paper

Research outcomes over time

This page was built for person: Mark d'Inverno