7109 search results - page 19 / 1422 » Process Algebra with Combinators |
108
Voted
FUIN
2007
15 years 19 days 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...
108
Voted
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
123
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
122
Voted
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
101
click to vote
ISSAC
1992
Springer
15 years 4 months ago
1992
Springer
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...