Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Algorithmica 3 (1988), S. 421-450 
    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
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 1573-4919
    Keywords: particulate guanylate cyclase ; ANP receptors ; rat lung ; PK1 cells ; physical characteristics
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Summary A line of kidney cells (PK,) which does not possess measurable ANP binding but has an active particulate guanylate cyclase has been identified. The physical characteristics of this enzyme were compared with those of particulate guanylate cyclase and ANP receptors isolated from rat lung. Although receptor and enzyme appear to reside on the same protein in the lung while the cyclase from PK1 cells does not possess ANP binding activity, these proteins exhibit identical physical characteristics. Guanylate cyclase from PK1 cells and rat lung and ANP receptor from lung co-eluted during gel filtration chromatography, with a Stokes radius of 6.1 nm. Also, these activities co-migrated through sucrose density gradients with S20,w values of 10.4 to 10.9. Using these parameters, a molecular weight of about 270 kD was estimated for all three activities. Furthermore, these enzyme activities exhibited similar mobilities in isoelectric focusing gels, with a pI of 6.1. Thus, although particulate guanylate cyclase from lung presumably possesses receptor binding activity, it is physically identical to a form of this enzyme associated with no measurable binding activity. Possible explanations for these observations are discussed.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...