Search the dblp DataBase

Publications of Author

1. Carron Shankland, Jeremy Bryans, Lionel Morel
   Expressing Iterative Properties Logically in a Symbolic Setting. [Citation Graph (0, 0)][DBLP]
   AMAST, 2004, pp:460-474 [Conf]
   
2. Carron Shankland, Muffy Thomas
   Symbolic Bisimulation for Full LOTOS. [Citation Graph (0, 0)][DBLP]
   AMAST, 1997, pp:479-493 [Conf]
   
3. R. Norman, Carron Shankland
   Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2003, pp:404-414 [Conf]
   
4. Muffy Calder, Savi Maharaj, Carron Shankland
   An Adequate Logic for Full LOTOS. [Citation Graph (0, 0)][DBLP]
   FME, 2001, pp:384-395 [Conf]
   
5. Jeremy Bryans, Carron Shankland
   Implementing a Modal Logic over Data and Processes using XTL. [Citation Graph (0, 0)][DBLP]
   FORTE, 2001, pp:201-218 [Conf]
   
6. Muffy Calder, Carron Shankland
   A Symbolic Semantics and Bisimulation for Full LOTOS. [Citation Graph (0, 0)][DBLP]
   FORTE, 2001, pp:185-200 [Conf]
   
7. Peter Robinson, Carron Shankland
   Combating Infinite State Using Ergo. [Citation Graph (0, 0)][DBLP]
   FORTE, 2003, pp:144-159 [Conf]
   
8. Muffy Calder, Savi Maharaj, Carron Shankland
   A Modal Logic for Full LOTOS based on Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:55-61 [Journal]
   
9. Carron Shankland, Alberto Verdejo
   A case study in abstraction using E-LOTOS and the FireWire. [Citation Graph (0, 0)][DBLP]
   Computer Networks, 2001, v:37, n:3/4, pp:481-502 [Journal]
   
10. John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
    Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:14, n:3, pp:199- [Journal]
    
11. Colin J. Fidge, Carron Shankland
    But What if I Don't Want to Wait Forever? [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:14, n:3, pp:281-294 [Journal]
    
12. Carron Shankland, Mark van der Zwaag
    The Tree Identify Protocol of IEEE 1394 in µCRL. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:5-6, pp:509-531 [Journal]
    
13. Savi Maharaj, Carron Shankland
    A Survey of Formal Methods Applied to Leader Election in IEEE 1394. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:11, pp:1145-1163 [Journal]
    
14. Savi Maharaj, Carron Shankland, Charles Rattray
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:2, pp:129-130 [Journal]
    
15. 
    Process Algebra Models of Population Dynamics. [Citation Graph (, )][DBLP]
    
    
16. 
    Improved Continuous Approximation of PEPA Models through Epidemiological Examples. [Citation Graph (, )][DBLP]