scientific article; zbMATH DE number 1223724
From MaRDI portal
Publication:4219040
zbMath0915.03029MaRDI QIDQ4219040
Publication date: 14 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
This page was built for publication: