scientific article; zbMATH DE number 1405453

MaRDI QIDQ4938428zbMATH OpenFDO

Authors René Moreno

Publication date 26 September 2000

zbMATH Keywords

concurrent constraint programmingdenotational semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1332633
• A fully abstract semantics for concurrent constraint programming
• scientific article; zbMATH DE number 1638652
• Property preserving abstractions under parallel composition
• Property preserving abstractions for the verification of concurrent systems
• scientific article; zbMATH DE number 1113818
• scientific article; zbMATH DE number 1088220
• A foundation for higher-order concurrent constraint programming
• scientific article; zbMATH DE number 794260
• Concurrent and reactive constraint programming

Cited in

(7)

• A fully abstract semantics for concurrent constraint programming
• A theory of observables for logic programs
• Executing formal specifications with concurrent constraint programming
• scientific article; zbMATH DE number 1332633 (Why is no real title available?)
• scientific article; zbMATH DE number 859974 (Why is no real title available?)
• Property-Driven Partitioning for Abstraction Refinement
• Abstract interpretation of CTL properties

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 Q4938428)