Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

26

ENTCS
2007

favoriteEmaildiscussreport

80views more ENTCS 2007»

Relational Parametricity for Control Considered as a Computational Effect

13 years 10 months ago

Relational Parametricity for Control Considered as a Computational Effect

Download homepages.inf.ed.ac.uk

Rasmus Ejlers Møgelberg, Alex Simpson

Real-time Traffic

ENTCS 2007 |

claim paper

Related Content

» Relational Parametricity for Computational Effects

» Parametric yield estimation considering leakage variability

» Relational Parametricity and Control

» Anisotropic geodesic distance computation for parametric surfaces

» Parametric regret in uncertain Markov decision processes

» On visibility maintenance via controlled invariance for leaderfollower Dubinslike vehicles

» Visibility maintenance via controlled invariance for leaderfollower Dubinslike vehicles

» The impact of higherorder state and control effects on local relational reasoning

» Understanding the effects and implications of compute node related failures in hadoop

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Rasmus Ejlers Møgelberg, Alex Simpson

Comments (0)