Volume 26; Issue 4

Formal Aspects of Computing

Volume 26; Issue 4
1

Assume-guarantee synthesis for digital contract signing

Krishnendu Chatterjee, Vishwanath Raman
Journal:
Formal Aspects of Computing
Year:
2014
Language:
english
File:
PDF, 651 KB
english, 2014
4

Towards verification of computation orchestration

Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
Journal:
Formal Aspects of Computing
Year:
2014
Language:
english
File:
PDF, 1.07 MB
english, 2014
5

An elementary theory of product-line variations

Prahladavaradan Sampath
Journal:
Formal Aspects of Computing
Year:
2014
Language:
english
File:
PDF, 1.29 MB
english, 2014
7

Compensation by design

Xi Liu, Shaofa Yang, J. W. Sanders
Journal:
Formal Aspects of Computing
Year:
2014
Language:
english
File:
PDF, 1.81 MB
english, 2014