4353 search results - page 162 / 871 » Expressiveness of Process Algebras |
111
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions o...
161
click to vote
EACL
2010
ACL Anthology
15 years 2 months ago
2010
ACL Anthology
Until recently, referring expression generation (reg) research focused on the task of selecting the semantic content of definite mentions of listener-familiar discourse entities. I...
138
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Whereas the molecular assembly of protein expression clones is readily automated and routinely accomplished in high throughput, sequence verification of these clones i...
132
click to vote
WISE
2007
Springer
15 years 10 months ago
2007
Springer
One of the fundamental ideas of services and service oriented architecture is the possibility to develop new applications by composing existing services into business processes. Ho...
171
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...