1. Principles of Model Checking;Baier,2008
2. A model category for local po-spaces;Bubenik;Homology, Homotopy Appl.,2006
3. Models and Van Kampen theorems for directed homotopy theory;Bubenik;Homology, Homotopy Appl.,2009
4. Model Checking;Clarke,1999
5. Semantics and analysis of Linda-based languages;Cridlig,1993