Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
From MaRDI portal
Publication:2565500
DOI10.1007/b135629zbMath1070.68087OpenAlexW2494994827MaRDI QIDQ2565500
Publication date: 27 September 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b135629
Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Other applications of nonstandard models (economics, physics, etc.) (03H10)
Related Items (7)
A Nonstandard Functional Programming Language ⋮ Ten misconceptions from the history of analysis and their debunking ⋮ Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond ⋮ Programming with Infinitesimals: A While-Language for Hybrid System Modeling ⋮ An integer construction of infinitesimals: toward a theory of eudoxus hyperreals ⋮ Toward a clarity of the extreme value theorem ⋮ Topological Aspects of Hybrid Processes
Uses Software
This page was built for publication: Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
