scientific article; zbMATH DE number 1500569

zbMath0959.68505MaRDI QIDQ4501590

Kazuhiro Ogata, Kokichi Futatsugi

Publication date: 6 May 2001

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

zbMATH Keywords

queueing lock algorithm

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (1)

Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs

This page was built for publication: