Article,

Structural testing for message-passing concurrent programs: an extended test model.

, , and .
Concurr. Comput. Pract. Exp., 26 (1): 21-50 (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews