scientific article; zbMATH DE number 5042670

MaRDI QIDQ5480166zbMATH OpenFDO

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

Publication date 26 July 2006

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)

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

Cited in

(1)

• scientific article; zbMATH DE number 1421020 (Why is no real title available?)

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)