1557 search results - page 23 / 312 » Programming up to Congruence |
117
Voted
ESOP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
104
click to vote
TCS
2008
15 years 10 days ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
98
Voted
IANDC
2006
15 years 13 days ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
112
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
100
Voted
RIVF
2008
15 years 1 months ago
2008
The best upper time bound for solving the Bounded Integer Programming (BIP) up to now is poly()