scientific article; zbMATH DE number 1864594

zbMath1006.68089MaRDI QIDQ4791272

Yifeng Chen, Jeff W. Sanders

Publication date: 6 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540487.htm

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A fixpoint theory for non-monotonic parallelism ⋮ The weakest specifunction

This page was built for publication: