Inproceedings,

Modularizing and Specifying Protocols among Threads

, and .
PLACES, volume 109 of EPTCS, page 34-45. (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews