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

(13)

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

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)