In reply to sj1992:
The code you show has a syntax error (x instead of 'x), and clock never changes.
A transition from a state other than 1’b1 to 1’bx is considered a posedge event. An unknown expression is considered the same as false. So a, b, c, and d are all false.