4353 search results - page 82 / 871 » Expressiveness of Process Algebras |
RTA
1997
Springer
15 years 4 months ago
1997
Springer
Series-parallel orders are de ned as the least class of partial orders containing the one-element order and closed by ordinal sum and disjoint union. From this inductive de nition,...
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
CAP
2010
14 years 7 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
138
click to vote
DOCENG
2004
ACM
15 years 5 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...
189
click to vote
POPL
2008
ACM
16 years 6 days ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...