7109 search results - page 134 / 1422 » Process Algebra with Combinators |
127
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This study presents new advancements in our articulatory-based language identi cation (LID) system. Our LID system automatically identi es language-features (LFs) from a phonologi...
139
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
113
Voted
PDPTA
2003
15 years 4 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
128
Voted
ASIAN
1998
Springer
15 years 7 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
171
click to vote
SIAMCOMP
2008
15 years 1 months ago
2008
Abstract. To cope with the impossibility of solving agreement problems in asynchronous systems made up of n processes and prone to t process crashes, system designers tailor their ...