An Overview of Probabilistic Process Algebras and Their Equivalences

Process algebras are getting mature for performance evaluation?!

ACM SIGMETRICS Performance Evaluation Review ◽

10.1145/340242.340303 ◽

1999 ◽

Vol 27 (3) ◽

pp. 15-18 ◽

Cited By ~ 1

Author(s):

Ulrich Herzog

Keyword(s):

Performance Evaluation ◽

Process Algebras

Download Full-text

A Probabilistic Process Model of Cliff Recession

Coastal Engineering 2000 ◽

10.1061/40549(276)241 ◽

2001 ◽

Author(s):

Mike Walkden ◽

Jim Hall ◽

Ian Meadowcroft ◽

Stuart Stripling

Keyword(s):

Process Model ◽

Probabilistic Process

Download Full-text

Process Algebras

Encyclopedia of Parallel Computing ◽

10.1007/978-0-387-09766-4_450 ◽

2011 ◽

pp. 1624-1636

Author(s):

Bruce Leasure ◽

David J. Kuck ◽

Sergei Gorlatch ◽

Murray Cole ◽

Gregory R. Watson ◽

...

Keyword(s):

Process Algebras

Download Full-text

Dispersal across habitat boundaries: uncovering the demographic fates of populations in unsuitable habitat

10.1101/2021.03.22.436493 ◽

2021 ◽

Author(s):

Megan C. Szojka ◽

Rachel M. Germain

Keyword(s):

Temporal Variability ◽

Adult Life ◽

Adult Plant ◽

Suitable Habitat ◽

Life Stages ◽

Habitat Types ◽

The Matrix ◽

Probabilistic Process ◽

Habitat Boundaries ◽

Matrix Patch

AbstractPatchy landscapes are characterized by abrupt transitions among distinct habitat types, forcing species to cross habitat boundaries in order to spread. Since seed dispersal is a probabilistic process, with a kernel that decays with distance, most individuals will fail to reach new, suitable habitat. Although failed dispersers are presumed dead in population models, their demographic fates may not be so simple. If transient survival is possible within unsuitable habitat, then through time, individuals may be able to reach distant, suitable habitat, forming new populations and buffering species from extinction. In a fragmented Californian grassland, we explored the fates of individuals that crossed habitat boundaries, and if those fates differed among specialists dispersing from two habitat types: serpentine habitat patches and the invaded non-serpentine matrix. We surveyed the diversity of seedbank and adult life stages along transects that crossed boundaries between patches and the matrix. First, we considered how patch specialists might transiently survive in the matrix via seed dormancy or stepping-stone populations. Second, we investigated the dispersal of an invasive matrix specialist (Avena fatua) into patches, to assess if sink populations existed across the habitat boundary. We found that dormancy maintained populations of patch specialists deep into the matrix, as abundances of seedbanks and of adult plant communities differed with distance into the matrix. We found evidence that these dormant seeds disperse secondarily with vectors of material flows in the landscape, suggesting that they could eventually reach suitable patches even if they first land in the matrix. We found that A. fatua were largely absent deep in patches, where reproductive outputs plummeted and there was no evidence of a dormant seedbank. Our results not only reveal the demographic fates of individuals that land in unsuitable habitat, but that their ecological consequences differ depending on the direction by which the boundary is crossed (patch → matrix ≠ matrix → patch). Dormancy is often understood as a mechanism for persisting in face of temporal variability, but it may serve as a means of traversing unsuitable habitat in patchy systems, warranting its consideration in estimates of habitat connectivity.

Download Full-text