7195 search results - page 602 / 1439 » On Computing Power |
195
click to vote
FOSSACS
2005
Springer
16 years 21 days ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
204
click to vote
ICNC
2005
Springer
16 years 21 days ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
182
click to vote
MFCS
2005
Springer
16 years 20 days ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
240
click to vote
CIS
2004
Springer
16 years 17 days ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...
175
click to vote
MFCS
2004
Springer
16 years 16 days ago
2004
Springer
Brandenburg and (implicitly) Dejean introduced the concept of repetition threshold: the smallest real number α such that there exists an infinite word over a k-letter alphabet t...