Inproceedings,

Teams can see pomsets.

, and .
Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 117-128. DIMACS/AMS, (1996)

Meta data

Tags

Users

  • @dblp

Comments and Reviews