scientific article; zbMATH DE number 1497788

MaRDI QIDQ4499205zbMATH OpenFDO

Authors Simone Tini

Publication date 5 March 2001

zbMATH Keywords

Lustresynchronous data flow language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 2084713
• Timed default concurrent constraint programming
• Logic Programming
• scientific article; zbMATH DE number 1809625
• scientific article; zbMATH DE number 2087501
• A symbolic model for timed concurrent constraint programming
• scientific article; zbMATH DE number 2084776

Cited in

(12)

• A symbolic model for timed concurrent constraint programming
• TimeC: A time constraint language for ILP processor compilation
• Bridging the gap between two concurrent constraint languages
• Timed CCP compositionally embeds Argos and Lustre
• Decidability of infinite-state timed CCP processes and first-order LTL
• A framework for timed concurrent constraint programming with external functions
• TCC, with history
• Abstract diagnosis for timed concurrent constraint programs
• Interval-Based Timing Constraints Their Satisfactions and Applications
• Abstract interpretation of temporal concurrent constraint programs
• An axiomatic semantics for the synchronous language Gentzen.
• Coinduction in concurrent timed systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499205)