scientific article; zbMATH DE number 3997157

zbMATH Open0615.68028MaRDI QIDQ4723293FDOQ4723293

Authors: A. R. Martin, John V. Tucker 

Publication date: 1987

Title of this publication is not available (Why is that?)

zbMATH Keywords

modulesabstract data typesprocessorsclocksconcurrent assignmentsfunction routinesstreams of datasynchronous parallel algorithmstoroidal networks

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (3)

• Restrictions and representations of vector controlled concurrent system behaviours
• Identity assignment in uniform synchronous rings
• Automatic verification of a class of systolic circuits

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4723293)