37 search results - page 8 / 8 » Behaviour-Preserving Transformations in SHE: A Formal Approa... |
ACMICEC
2008
ACM
13 years 6 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
SCP
1998
13 years 4 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...