4353 search results - page 39 / 871 » Expressiveness of Process Algebras |
ENTCS
2008
14 years 9 months ago
2008
Dcpos can be presented by a preorder of generators and inequational relations expressed as covers. Algebraic operations on the generators (possibly with their results being ideals...
104
click to vote
SIGMOD
2007
ACM
15 years 9 months ago
2007
ACM
We survey expressivity results for navigational frag
RTSS
2008
IEEE
15 years 4 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
59
Voted
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Toric codes are obtained by evaluating rational functions of a nonsingular toric variety at the algebraic torus. One can extend toric codes to the so called generalized toric code...
ENTCS
2010
14 years 9 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...