4353 search results - page 32 / 871 » Expressiveness of Process Algebras |
82
Voted
ENTCS
2006
14 years 9 months ago
2006
The LR parser generators that are bundled with many functional programming language implementations produce code that is untyped, needlessly inefficient, or both. We show that, us...
CASC
2010
Springer
14 years 8 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
108
click to vote
AB
2008
Springer
15 years 4 months ago
2008
Springer
We explore the computational power of biochemistry with respect to basic chemistry, identifying complexation as the basic mechanism that distinguishes the former from the latter. W...
85
Voted
FUIN
2007
14 years 9 months ago
2007
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with resp...
90
Voted
TOOLS
1999
IEEE
15 years 1 months ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...