1557 search results - page 23 / 312 » Programming up to Congruence |
ESOP
1998
Springer
15 years 3 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 ...
TCS
2008
14 years 10 months 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...
84
Voted
IANDC
2006
14 years 11 months 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...
99
Voted
ESOP
2008
Springer
15 years 19 days 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...
RIVF
2008
15 years 8 days ago
2008
The best upper time bound for solving the Bounded Integer Programming (BIP) up to now is poly()