Publication:4499205
From MaRDI portal
zbMath0958.68044MaRDI QIDQ4499205
Publication date: 5 March 2001
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
Related Items
Abstract interpretation of temporal concurrent constraint programs, TCC, with History, An axiomatic semantics for the synchronous language Gentzen., Decidability of infinite-state timed CCP processes and first-order LTL, Bridging the Gap between Two Concurrent Constraint Languages