Colin 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
Formal semantics for program paths	2013-08-27	Paper
The variety of variables in computer-aided real-time programming	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
Lifting in \(Z\)	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

This page was built for person: Colin Fidge