ZIB

Hits per page

hits 1 - 2 | 2 hits

Sorting

Electronic Resource

On the analysis of cooperation and antagonism in networks of communicating processes (1988)

Kanellakis, Paris C. ; Smolka, Scott A.

Springer

Algorithmica 3 (1988), S. 421-450

add to mindlist on the mindlist

Details

ISSN: 1432-0541

Keywords: Static analysis ; Concurrent programming ; Computational complexity ; CCS ; Potential blocking ; Termination ; Lockout ; Finite state process

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science , Mathematics

Notes: Abstract We propose a new method for the analysis of cooperative and antagonistic properties of communicating finite state processes (FSPs). This algebraic technique is based on a composition operator and on the notion of possibility equivalence among FSPs. We demonstrate its utility by showing that potential blocking, termination, and lockout can be decided in polynomial time for loosely connected networks of tree FSPs. Potential blocking and termination are examples of cooperative properties, while lockout is an antagonistic one. For loosely connected networks of (the more general) acyclic FSPs, the cooperative properties become NP-complete and the antagonistic ones PSPACE-complete. For tightly coupled networks of tree FSPs, we also have NP-completeness for the cooperative properties. For the harder case of FSPs with cycles, we provide a natural extension of the method.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF01762125

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

Electronic Resource

A cortical granule-specific enzyme, B-1,3-glucanase, in sea urchin eggs (1987)

Wessel, Gary M. ; Truschel, Margaret R. ; Chambers, Scott A. ; [et al.]

New York, NY : Wiley-Blackwell

Gamete Research 18 (1987), S. 339-348

add to mindlist on the mindlist

Details

ISSN: 0148-7280

Keywords: B-1,3-glucanase ; cortical granules ; hyaline layer ; Life and Medical Sciences ; Cell & Developmental Biology

Source: Wiley InterScience Backfile Collection 1832-2000

Topics: Biology

Notes: The ultrastructural localization of B-1,3-glucanase in three species of sea urchin eggs was determined using a monospecific antibody in an electronmicroscopic immunogold procedure. In all three species, Lytechinus variegatus, Strongylocentrotus purpuratus, and Arbacia punctulata, B-1,3-glucanase was localized specifically to the cortical granules. No other organelle within the egg contained significant label. During the fertilization reaction, B-1,3-glucanase was released from cortical granules into the perivitelline space and became associated with the hyaline layer. No significant label was found in association with the fertilization envelope.

Additional Material: 4 Ill.