scientific article; zbMATH DE number 1223724

zbMath0915.03029MaRDI QIDQ4219040

Björn Victor, Joachim Parrow

Publication date: 14 February 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (8)

A closer look at constraints as processes ⋮ A Behavioural Theory for a π-calculus with Preorders ⋮ A behavioural theory for a \(\pi\)-calculus with preorders ⋮ Bisimulation congruence of \(\chi\)-calculus ⋮ Variations on mobile processes ⋮ The Expressive Power of Monotonic Parallel Composition ⋮ Explicit fusions ⋮ Models and emerging trends of concurrent constraint programming

Uses Software

• Oz
• Pict

This page was built for publication: