scientific article; zbMATH DE number 5042670

zbMATH Open1095.68064MaRDI QIDQ5480166FDOQ5480166

Authors: Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey 

Publication date: 26 July 2006

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

Recommendations

• scientific article; zbMATH DE number 1303725
• scientific article; zbMATH DE number 1438577
• Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench
• A Process Algebraic View of Latency-Insensitive Systems
• Simple and efficient batch verification techniques for verifiable delay functions
• On process-algebraic verification of asynchronous circuits
• scientific article; zbMATH DE number 5286871
• scientific article; zbMATH DE number 1955911
• scientific article; zbMATH DE number 1670505

zbMATH Keywords

verificationclosed systemsprocess algebraasynchronous circuitsdelay-insensitivityrestrictive environments

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)

Cited In (1)

• Title not available (Why is that?)

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 Q5480166)