7109 search results - page 19 / 1422 » Process Algebra with Combinators |
128
Voted
FUIN
2007
15 years 2 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...
141
click to vote
CORR
2010
Springer
15 years 2 months 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...
138
click to vote
LICS
1994
IEEE
15 years 6 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...
115
click to vote
ISSAC
1992
Springer
15 years 6 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...