Inproceedings,

Contracts for Interacting Two-Party Systems

, and .
FLACOS, volume 94 of EPTCS, page 21-30. (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews