Papers

Alastair F. Donaldson, Simon J. Gay. Type Inference and Strong Static Type Checking for Promela. Science of Computer Programming 75(11):1165-1191. Elsevier, 2010.

Bibtex:

@article{DonaldsonG_SoCP2010,
   title      = {Type Inference and Strong Static Type Checking
                 for {Promela}},
   author     = {Alastair F. Donaldson and Simon J. Gay},
   journal    = {Science of Computer Programming},
   volume     = {75},
   issue      = {11},
   pages      = {1165-1191},
   publisher  = {Elsevier},
   year       = {2010}
}