1830 search results - page 42 / 366 » Centering in Dynamic Semantics |
CORR
2009
Springer
14 years 9 months ago
2009
Springer
CORR
2011
Springer
14 years 6 months ago
2011
Springer
GRID
2004
Springer
15 years 4 months ago
2004
Springer
Dynamic behavior is inherent in virtual organizations. Semantics has to be processed to manage dynamism and other properties like state, life cycle, faults, and others. In our pap...
CCECE
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents a dynamic semantics for the parallel language HARPO/L, based on Reynolds’s grainless approach [1]. It shows that the approach scales to somewhat more sophist...
136
Voted
LORI
2009
Springer
15 years 5 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...