A trace-based model for multiparty contracts
Tom Hvitved, Felix Klaedtke, Eugen ZălinescuVolume:
81
Year:
2012
Language:
english
Pages:
27
DOI:
10.1016/j.jlap.2011.04.010
File:
PDF, 2.37 MB
english, 2012