scientific article; zbMATH DE number 1497788

zbMATH Open0958.68044MaRDI QIDQ4499205FDOQ4499205

Authors: Simone Tini 

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

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

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)

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)