Crossref Citations
                                  
                                    
                                    
                                      
                                                            This Book has been
                                        cited by the following publications. This list is generated based on data provided by Crossref.
                                     
                                   
                                  
                                        
                                          
                                                
                                                
                                                    
                                                    Kondratyev, A.
                                                     and 
                                                    Taubin, A.
                                                  1994.
                                                  Verification of the speed-independent circuits by STG unfoldings.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    64.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Gopalakrishnan, Ganesh
                                                     and 
                                                    Akella, Venkatesh
                                                  1994.
                                                  Asynchronous Circuit Design for VLSI Signal Processing.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    33.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Gopalakrishnan, Ganesh
                                                     and 
                                                    Akella, Venkatesh
                                                  1994.
                                                  High-level optimizations in compiling process descriptions to asynchronous circuits.
                                                  
                                                  
                                                  Journal of VLSI signal processing systems for signal, image and video technology, 
                                                  Vol. 7, 
                                                  Issue. 1-2, 
                                                
                                                    p. 
                                                    33.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Smith, Scott F.
                                                     and 
                                                    Zwarico, Amy E.
                                                  1995.
                                                  Correct compilation of specifications to deterministic asynchronous circuits.
                                                  
                                                  
                                                  Formal Methods in System Design, 
                                                  Vol. 7, 
                                                  Issue. 3, 
                                                
                                                    p. 
                                                    155.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Davis, Al
                                                     and 
                                                    Nowick, Steven M.
                                                  1995.
                                                  Asynchronous Digital Circuit Design.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    1.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    van Berkel, Kees
                                                     and 
                                                    Rem, Martin
                                                  1995.
                                                  Asynchronous Digital Circuit Design.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    151.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Brown, Geoffrey
                                                    
                                                    Luk, Wayne
                                                     and 
                                                    O'Leary, John
                                                  1996.
                                                  Retargeting a hardware compiler using protocol converters.
                                                  
                                                  
                                                  Formal Aspects of Computing, 
                                                  Vol. 8, 
                                                  Issue. 2, 
                                                
                                                    p. 
                                                    209.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    O'Leary, John
                                                    
                                                    Brown, Geoffrey
                                                     and 
                                                    Luk, Wayne
                                                  1997.
                                                  Verified compilation of communicating processes into clocked circuits.
                                                  
                                                  
                                                  Formal Aspects of Computing, 
                                                  Vol. 9, 
                                                  Issue. 5-6, 
                                                
                                                    p. 
                                                    537.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Furber, S. B.
                                                  1997.
                                                  Low Power Design in Deep Submicron Electronics.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    461.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Josephs, Mark B.
                                                     and 
                                                    Bailey, Andrew M.
                                                  1997.
                                                  The Use of SI-Algebra in the design of sequencer circuits.
                                                  
                                                  
                                                  Formal Aspects of Computing, 
                                                  Vol. 9, 
                                                  Issue. 4, 
                                                
                                                    p. 
                                                    395.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Josephs, Mark B.
                                                  1998.
                                                  Mathematics of Program Construction.
                                                  
                                                  
                                                  
                                                  Vol. 1422, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    234.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Bardsley, Andrew
                                                     and 
                                                    Edwards, Doug
                                                  2000.
                                                  Synthesising an asynchronous DMA controller with Balsa.
                                                  
                                                  
                                                  Journal of Systems Architecture, 
                                                  Vol. 46, 
                                                  Issue. 14, 
                                                
                                                    p. 
                                                    1309.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Sharp, Richard
                                                     and 
                                                    Mycroft, Alan
                                                  2001.
                                                  Static Analysis.
                                                  
                                                  
                                                  
                                                  Vol. 2126, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    57.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Mycroft, Alan
                                                     and 
                                                    Sharp, Richard
                                                  2001.
                                                  Correct Hardware Design and Verification Methods.
                                                  
                                                  
                                                  
                                                  Vol. 2144, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    13.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Kienhuis, Bart
                                                    
                                                    Deprettere, Ed F.
                                                    
                                                    van der Wolf, Pieter
                                                     and 
                                                    Vissers, Kees
                                                  2002.
                                                  Embedded Processor Design Challenges.
                                                  
                                                  
                                                  
                                                  Vol. 2268, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    18.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Yakovlev, Alex
                                                  2002.
                                                  Application and Theory of Petri Nets 2002.
                                                  
                                                  
                                                  
                                                  Vol. 2360, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    70.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Hehner, Eric C. R.
                                                    
                                                    Norvell, Theodore S.
                                                     and 
                                                    Paige, Richard F.
                                                  2003.
                                                  Programming Methodology.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    381.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Teifel, J.
                                                     and 
                                                    Manohar, R.
                                                  2004.
                                                  Static tokens: using data .ow to automate concurrent pipeline synthesis.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    17.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Boubekeur, Menouer
                                                    
                                                    Borrione, Dominique
                                                    
                                                    Mounier, Laurent
                                                    
                                                    Siriani, Antoine
                                                     and 
                                                    Renaudin, Marc
                                                  2004.
                                                  Languages for System Specification.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    285.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Karaki, Nobuo
                                                    
                                                    Nanmoto, Takashi
                                                    
                                                    Ebihara, Hiroaki
                                                    
                                                    Inoue, Satoshi
                                                     and 
                                                    Shimoda, Tatsuya
                                                  2005.
                                                  43.1: A Flexible 8-bit Asynchronous Microprocessor Based on Low-Temperature Poly-Silicon (LTPS) TFT Technology.
                                                  
                                                  
                                                  SID Symposium Digest of Technical Papers, 
                                                  Vol. 36, 
                                                  Issue. 1, 
                                                
                                                    p. 
                                                    1430.