Searching for "Normed Processes" – sorted by Relevance.
95 documents found, showing 1 through 10.
Next 10 →
-
Regularity is Decidable for Normed PA Processes in Polynomial Time
- … is Decidable for Normed PA Processes in Polynomial Time by Antonín Kučera FI MU Report Series FIMU-RS-96…
- Cited by 17 (2 self) – Add To MetaCart
-
Comparing Expressibility of Normed BPA and Normed BPP Processes
- … Expressibility of Normed BPA and Normed BPP Processes by Ivana Černá Mojmír Kˇretínský Antonín Kučera FI MU…
- Cited by 5 (5 self) – Add To MetaCart
-
Decidability of Bisimulation Equivalence for Normed Pushdown Processes
- …Decidability of Bisimulation Equivalence for Normed Pushdown Processes Colin Stirling Department…
- Cited by 20 (6 self) – Add To MetaCart
-
Regularity is decidable for normed BPA and normed BPP processes in polynomial time
- …Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time Antonín Kučera…
- Cited by 2 (1 self) – Add To MetaCart
-
A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes
- … A polynomial algorithm for deciding bisimilarity of normed context-free processes Yoram…
- Cited by 35 (6 self) – Add To MetaCart
-
A unique decomposition theorem for ordered monoids with applications in process theory
- … to establish that every weakly normed process definable in ACP ε with bounded communication can be expressed…
- Cited by 5 (2 self) – Add To MetaCart
-
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel
- …-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes Yoram Hirshfeld School…
- Cited by 4 (1 self) – Add To MetaCart
-
A Functional LIL for Stochastic Integrals and the Lévy Area Process
- …, and yield the small ball probabilities of the weighted sup-norm for the processes given by these stochastic…
- Add To MetaCart
-
Brownian Filtrations Are Not Stable Under Equivalent Time-Changes
- … close to 1 in L # -norm, but such that no process with ��-independent increments generates the canonical…
- Add To MetaCart
-
How to Parallelize Sequential Processes
- …-prime normed BPA processes together with their decompositions in terms of normal forms which are designed…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
