Search the dblp DataBase

Publications of Author

1. Yinong Chen, Vashti Galpin, Scott Hazelhurst, Roger Mateer, Conrad Mueller
   Development of a Decentralized Virtual Service Redirector for Internet Applications. [Citation Graph (0, 0)][DBLP]
   FTDCS, 1999, pp:235-241 [Conf]
   
2. Vashti Galpin
   Comparison of Process Algebra Equivalences Using Formats. [Citation Graph (0, 0)][DBLP]
   ICALP, 1999, pp:341-350 [Conf]
   
3. Ian Sanders, Vashti Galpin
   A Survey of Attitudes to Computing at the University of the Witwatersrand. [Citation Graph (0, 0)][DBLP]
   Woman, Work and Computerization, 1994, pp:209-223 [Conf]
   
4. Tina Götschi, Ian Sanders, Vashti Galpin
   Mental models of recursion. [Citation Graph (0, 0)][DBLP]
   SIGCSE, 2003, pp:346-350 [Conf]
   
5. Vashti Galpin
   A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes. [Citation Graph (0, 0)][DBLP]
   South African Computer Journal, 2000, v:26, n:, pp:4-12 [Journal]
   
6. Vashti Galpin
   A format for semantic equivalence comparison. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:309, n:1-3, pp:65-109 [Journal]
   
7. Ian Sanders, Vashti Galpin, Tina Götschi
   Mental models of recursion revisited. [Citation Graph (0, 0)][DBLP]
   ITiCSE, 2006, pp:138-142 [Conf]
   
8. 
   Modelling Network Performance with a Spatial Stochastic Process Algebra. [Citation Graph (, )][DBLP]
   
   
9. 
   Equivalence and Discretisation in Bio-PEPA. [Citation Graph (, )][DBLP]
   
   
10. 
    HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. [Citation Graph (, )][DBLP]
    
    
11. 
    Bounds on series-parallel slowdown [Citation Graph (, )][DBLP]
    
    
12. 
    HYPE Applied to the Modelling of Hybrid Biological Systems. [Citation Graph (, )][DBLP]