2171 search results - page 5 / 435 » A Generic Process Algebra |
181
Voted
AB
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. Symbolic methods for investigating Hopf bifurcation problems of vector fields arising in the context of algebraic biology have recently obtained renewed attention. Howev...
140
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
166
click to vote
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
121
Voted
JC
2000
15 years 4 months ago
2000
128
Voted
CASC
2010
Springer
15 years 3 months ago
2010
Springer