Crossref Citations
                  This article has been cited by the following publications. This list is generated based on data provided by Crossref.
                                
                                    
                                    Pratt, Vaughan R.
                                  2001.
                                  SOFSEM 2001: Theory and Practice of Informatics.
                                  
                                  
                                  
                                  Vol. 2234, 
                                  Issue. , 
                                
                                    p. 
                                    336.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Pratt, Vaughan R.
                                  2002.
                                  CONCUR 2002 — Concurrency Theory.
                                  
                                  
                                  
                                  Vol. 2421, 
                                  Issue. , 
                                
                                    p. 
                                    41.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Zhang, Guo-Qiang
                                  2003.
                                  Chu Spaces, Concept Lattices, and Domains.
                                  
                                  
                                  Electronic Notes in Theoretical Computer Science, 
                                  Vol. 83, 
                                  Issue. , 
                                
                                    p. 
                                    287.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    van Glabbeek, R.J.
                                  2005.
                                  On the Expressiveness of Higher Dimensional Automata.
                                  
                                  
                                  Electronic Notes in Theoretical Computer Science, 
                                  Vol. 128, 
                                  Issue. 2, 
                                
                                    p. 
                                    5.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    van Glabbeek, R.J.
                                  2006.
                                  On the expressiveness of higher dimensional automata.
                                  
                                  
                                  Theoretical Computer Science, 
                                  Vol. 356, 
                                  Issue. 3, 
                                
                                    p. 
                                    265.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Zhang, Guo-Qiang
                                     and 
                                    Shen, Gongqin
                                  2006.
                                  Approximable Concepts, Chu spaces,  and  Information Systems.
                                  
                                  
                                  Theory and Applications of Categories, 
                                  Vol. 17, 
                                  Issue. , 
                                
                                    p. 
                                    79.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Droste, Manfred
                                     and 
                                    Zhang, Guo-Qiang
                                  2007.
                                  Algebra and Coalgebra in Computer Science.
                                  
                                  
                                  
                                  Vol. 4624, 
                                  Issue. , 
                                
                                    p. 
                                    179.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Cape, David A.
                                    
                                    McMillin, Bruce M.
                                    
                                    Passer, Benjamin W.
                                     and 
                                    Thakur, Mayur
                                  2009.
                                  Recursive Decomposition of Progress Graphs.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    23.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Sofronie-Stokkermans, Viorica
                                  2009.
                                  Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems.
                                  
                                  
                                  Electronic Notes in Theoretical Computer Science, 
                                  Vol. 230, 
                                  Issue. , 
                                
                                    p. 
                                    161.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Pinna, G. Michele
                                     and 
                                    Saba, Andrea
                                  2010.
                                  Theory and Applications of Models of Computation.
                                  
                                  
                                  
                                  Vol. 6108, 
                                  Issue. , 
                                
                                    p. 
                                    385.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Droste, Manfred
                                     and 
                                    Zhang, Guo-Qiang
                                  2010.
                                  Bifinite Chu Spaces.
                                  
                                  
                                  Logical Methods in Computer Science, 
                                  Vol. Volume 6, Issue 1, 
                                  Issue. , 
                                
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Prisacariu, Cristian
                                  2010.
                                  CONCUR 2010 - Concurrency Theory.
                                  
                                  
                                  
                                  Vol. 6269, 
                                  Issue. , 
                                
                                    p. 
                                    494.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Cape, David A.
                                    
                                    Jackson, Stephen C.
                                     and 
                                    McMillin, Bruce M.
                                  2010.
                                  Dihomotopic Deadlock Detection via Progress Shell Decomposition.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    20.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Pratt, Vaughan
                                  2011.
                                  Distributed Computing and Internet Technology.
                                  
                                  
                                  
                                  Vol. 6536, 
                                  Issue. , 
                                
                                    p. 
                                    92.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Haucourt, Emmanuel
                                  2012.
                                  Streams, d-Spaces and Their Fundamental Categories.
                                  
                                  
                                  Electronic Notes in Theoretical Computer Science, 
                                  Vol. 283, 
                                  Issue. , 
                                
                                    p. 
                                    111.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Normann, Håkon
                                    
                                    Prisacariu, Cristian
                                     and 
                                    Hildebrandt, Thomas
                                  2014.
                                  Concurrency Models with Causality and Events as Psi-calculi.
                                  
                                  
                                  Electronic Proceedings in Theoretical Computer Science, 
                                  Vol. 166, 
                                  Issue. , 
                                
                                    p. 
                                    4.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Horne, Ross
                                     and 
                                    Sassone, Vladimiro
                                  2014.
                                  A verified algebra for read–write Linked Data.
                                  
                                  
                                  Science of Computer Programming, 
                                  Vol. 89, 
                                  Issue. , 
                                
                                    p. 
                                    2.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Ninin, Nicolas
                                     and 
                                    Haucourt, Emmanuel
                                  2014.
                                  The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero.
                                  
                                  
                                  Electronic Proceedings in Theoretical Computer Science, 
                                  Vol. 166, 
                                  Issue. , 
                                
                                    p. 
                                    60.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Merelli, Emanuela
                                    
                                    Rucco, Matteo
                                    
                                    Sloot, Peter
                                     and 
                                    Tesei, Luca
                                  2015.
                                  Topological Characterization of Complex Systems: Using Persistent Entropy.
                                  
                                  
                                  Entropy, 
                                  Vol. 17, 
                                  Issue. 10, 
                                
                                    p. 
                                    6872.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Normann, Håkon
                                    
                                    Johansen, Christian
                                     and 
                                    Hildebrandt, Thomas
                                  2016.
                                  Declarative event based models of concurrency and refinement in psi-calculi.
                                  
                                  
                                  Journal of Logical and Algebraic Methods in Programming, 
                                  Vol. 85, 
                                  Issue. 3, 
                                
                                    p. 
                                    368.
                                
                                
                        
                        
                        
                         
 