scientific article; zbMATH DE number 1223724

MaRDI QIDQ4219040zbMATH OpenFDO

Authors Björn Victor, Joachim Parrow

Publication date 14 February 1999

zbMATH Keywords

\(\rho\)-calculusbarbed congruenceconcurrent constraint programmingfusion calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A confluent calculus for concurrent constraint programming
• Constraint-based concurrency and beyond
• A fully abstract semantics for concurrent constraint programming
• scientific article; zbMATH DE number 1088220
• A foundation for higher-order concurrent constraint programming
• Fusion and simultaneous execution in the refinement calculus
• scientific article; zbMATH DE number 794260
• scientific article; zbMATH DE number 1638652
• scientific article; zbMATH DE number 2084713
• scientific article; zbMATH DE number 1223634

Cited in

(16)

• Bisimulation congruence of -calculus
• Variations on mobile processes
• Models and emerging trends of concurrent constraint programming
• Concurrent nets: a study of prefixing in process calculi
• Explicit fusions
• The expressive power of monotonic parallel composition
• A graphical fusion calculus
• Concurrent nets: a study of prefixing in process calculi
• A behavioural theory for a \(\pi\)-calculus with preorders
• scientific article; zbMATH DE number 1088220 (Why is no real title available?)
• scientific article; zbMATH DE number 1759424 (Why is no real title available?)
• A foundation for higher-order concurrent constraint programming
• Performance analysis and name passing errors in probabilistic fusion
• Constraints as processes
• A closer look at constraints as processes
• A behavioural theory for a \(\pi\)-calculus with preorders

Describes a project that uses

Uses Software

• Oz
• Pict

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