scientific article; zbMATH DE number 1234567

MaRDI QIDQ4221353zbMATH OpenFDO

Authors Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo

Publication date 11 February 1999

zbMATH Keywords

CCP semanticsconcurrent constraint programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• A transformation system for concurrent processes
• Unfolding for CHR programs
• scientific article; zbMATH DE number 1615260
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Unfolding and fixpoint semantics of concurrent constraint logic programs

Cited in

(5)

• Model-based computing: Developing flexible machine control software
• Models and emerging trends of concurrent constraint programming
• scientific article; zbMATH DE number 1615260 (Why is no real title available?)
• Unfolding for CHR programs
• Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication

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