Cited By
View all- Brown GLuk WO'Leary J(2022)Retargeting a hardware compiler using protocol convertersFormal Aspects of Computing10.1007/BF012145578:2(209-237)Online publication date: 2-Jan-2022
- Cavalcanti AHierons RNogueira S(2020)Inputs and Outputs in CSPACM Transactions on Computational Logic10.1145/337950821:3(1-53)Online publication date: 18-May-2020
- Steyn TGruner SMasinde M(2017)A new optional parallelism operator in CSP for wireless sensor networksProceedings of the South African Institute of Computer Scientists and Information Technologists10.1145/3129416.3129431(1-8)Online publication date: 26-Sep-2017
- Show More Cited By