scientific article; zbMATH DE number 1368948
From MaRDI portal
Publication:4702592
zbMath0945.68129MaRDI QIDQ4702592
Andrzej Tarlecki, Donald Sannella
Publication date: 24 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Preferential choice and coordination conditions ⋮ A process calculus with finitary comprehended terms ⋮ Program algebra with a jump-shift instruction ⋮ Using Hoare Logic in a Process Algebra Setting ⋮ A thread calculus with molecular dynamics ⋮ Parallel Processes with Implicit Computational Capital
This page was built for publication:
