scientific article; zbMATH DE number 1438577

MaRDI QIDQ4951152zbMATH OpenFDO

Authors Willem Charles Mallon

Publication date 3 May 2000

zbMATH Keywords

delay-insensitive communicating processesDI algebrahandshake protocol

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Controllable delay-insensitive processes
• scientific article; zbMATH DE number 194039
• scientific article; zbMATH DE number 177530
• scientific article; zbMATH DE number 177245

Cited in

(8)

• Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench
• scientific article; zbMATH DE number 3869222 (Why is no real title available?)
• scientific article; zbMATH DE number 108492 (Why is no real title available?)
• Delay-insensitive pipelined communication on parallel buses
• Construction of Deadlock-free Designs of Communication Protocols from Observations
• scientific article; zbMATH DE number 2102700 (Why is no real title available?)
• Controllable delay-insensitive processes
• scientific article; zbMATH DE number 5042670 (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 Q4951152)