Colin J. Fidge

Available identifiers

zbMath Open fidge.colin-jMaRDI QIDQ706492

List of research outcomes

Publication	Date of Publication	Type
A limitation of vector timestamps for reconstructing distributed computations	2016-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q2843912	2013-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q2844816	2013-08-19	Paper
Functional Analysis of a Real-Time Protocol for Networked Control Systems	2008-09-04	Paper
Multifractal nature of network induced time delay in networked control systems	2007-10-15	Paper
Procedure compilation in the refinement calculus	2006-10-25	Paper
A theory for execution-time derivation in real-time programs	2005-12-29	Paper
Linear approximation of execution-time constraints	2005-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4808840	2004-08-12	Paper
But what if I don't want to wait forever?	2003-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4537138	2002-11-06	Paper
A formal model of real-time program compilation	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2767176	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4494244	2001-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q2703752	2001-05-08	Paper
https://portal.mardi4nfdi.de/entity/Q4494114	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4370262	1998-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4370268	1998-01-14	Paper
An action-based formal model for concurrent real-time systems	1997-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4698372	1995-05-17	Paper
A LISP implementation of the model for ‘communicating sequential processes’	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4728225	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3662606	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Colin J. Fidge