2296 search results - page 1 / 460 » The Expressive Power of Synchronizations |
LICS
2010
IEEE
13 years 3 months ago
2010
IEEE
A synchronization is a mechanism allowing two or more processes to perform actions at the same time. We study the expressive power of synchronizations gathering more and more proc...
ENTCS
2006
13 years 4 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
IANDC
2008
13 years 4 months ago
2008
In this paper, we study sixteen communication primitives, arising from the combination of four useful programming features: synchronism (synchronous vs asynchronous primitives), a...
ICDE
2001
IEEE
14 years 6 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
ACL
2010
13 years 2 months ago
2010
A characterization of the expressive power of synchronous tree-adjoining grammars (STAGs) in terms of tree transducers (or equivalently, synchronous tree substitution grammars) is...