Computing with continuous change
From MaRDI portal
Publication:1380117
DOI10.1016/S0167-6423(97)00006-3zbMath0891.68039MaRDI QIDQ1380117
Vijay Saraswat, Vineet Gupta, Radha Jagadeesan
Publication date: 19 July 1998
Published in: Science of Computer Programming (Search for Journal in Brave)
Related Items
TCC, with History, A Hybrid Denotational Semantics for Hybrid Systems, ConGolog, a concurrent programming language based on the situation calculus, A comprehensive methodology for building hybrid models of physical systems, Decidability of infinite-state timed CCP processes and first-order LTL, A multi-scale constraint programming model of alternative splicing regulation, Model-based computing: Developing flexible machine control software, Linear time-dependent constraints programming with MSVL, Models and emerging trends of concurrent constraint programming