A recent paper by Jančar (presented at LiCS 2003) demonstrated that bisimilarity on Basic Parallel Processes (BPP) can be decided in polynomial space. Here we explore a (more detailed) version of the respective algorithm when applied to the subclass called normed BPP (nBPP), and show that in this case the algorithm runs in polynomial time; we provide a complexity analysis yielding the upper bou...

This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs are given a geometric semantics using cubical areas, for which a unique factorization theorem is proved. An effective factorization method which is correct and complete with respect to the geometric semantics is derived...

-Previous research on House Sparrows (Passer domesticus) in Europe indicated that males with larger bibs are more likely to obtain nest sites with multiple potential nests. To test this observation experimentally, I created nest sites containing either one or two nest boxes. 1 found no morphological differences, including bib size, between males at single-box nest sites (SBNS’s) and those at do...

Despite the human capacity to survive and adapt, traumatic experiences can cause alterations in health, attitudes and behaviors, environmental and interpersonal functioning, and spiritual balance such that the memory of an event or a set of events taints all other experiences. The BE SMART (Become Empowered: Symptom Management for Abuse and Recovery from Trauma) group psychoeducation program is...

Endometrial cancer is the most common gynecologic malignancy affecting women in the United States. In 1988, the International Federation of Gynecology and Obstetrics shifted from a clinical staging protocol to one based on surgical factors, making surgical staging the accepted treatment approach to endometrial cancers, with excellent survival compared to other gynecologic malignancies. The manu...

We propose a decision procedure for a general class of normed commutative process rewrite systems and their induced bisimulation equivalences. Our technique is inspired by the polynomial-time algorithm for strong bisimilarity on normed Basic Parallel Processes (BPP), developed by Hirshfeld, Jerrum and Moller. As part of our framework we present a generic unique decomposition result, which we ob...