scientific article; zbMATH DE number 1444330

zbMath0952.68096MaRDI QIDQ4953365

A. J. Field, Peter G. Harrison, Keyvan Kanani

Publication date: 9 May 2000

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

zbMATH Keywords

performance modelling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Process algebra for performance evaluation