All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

  • 1
    Electronic Resource
    Electronic Resource
    Distributed computing 3 (1989), S. 130-145 
    ISSN: 1432-0452
    Keywords: Denotational semantics ; True concurrency ; Smyth powerdomain of streams
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We present a variety of denotational linear time semantics for a language with recursion and “true” concurrency in a form of synchronous co-operation, which in the literature is known as step semantics. We show that this can be done by a generalization of known results for interleaving semantics. A general method is presented to define semantical operators and denotational semantics in the Smyth powerdomain of streams. With this method, first a naive and then more sophisticated semantics for synchronous co-operation are developed, which include such features as interleaving and synchronization. Then we refine the semantics to deal with a bounded number of processors, subatomic actions, maximal parallelism and a real-time operator. Finally, it is indicated how to apply these ideas to branching-time models, where it becomes possible to analyze deadlock behaviour as well as a form of “true” concurrency.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 1365-2958
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Biology , Medicine
    Notes: Low environmental pH strongly affected the organization of the Saccharomyces cerevisiae cell wall, resulting in rapidly induced resistance to β1,3-glucanase. At a molecular level, we found that a considerable amount of Cwp1p became anchored through a novel type of linkage for glycosylphosphatidylinositol (GPI)-dependent cell wall proteins, namely an alkali-labile linkage to β1,3-glucan. This novel type of modification for Cwp1p did not require the presence of a GPI-derived structure connecting the protein with β1,6-glucan. In addition, we found high levels of Cwp1p, which was double-anchored through both the novel alkali-sensitive bond to β1,3-glucan and the alkali-resistant GPI-derived linkage to β1,6-glucan. Further cell wall analyses demonstrated that Pir2p/Hsp150 and possibly other Pir cell wall proteins, which were already known to be linked to the β1,3-glucan framework by an alkali-sensitive linkage, were also more efficiently retained in the cell wall at pH 3.5 than at pH 5.5. Consequently, the alkali-sensitive type of linkage of cell wall proteins to β1,3-glucan was induced by low pH. The low pH-induced alterations in yeast cell wall architecture were demonstrated to be dependent on a functional HOG1 gene, but not on the Slt2p-mediated MAP kinase pathway. Consistent with this observation, DNA microarray studies revealed transcriptional induction of many known high-osmolarity glycerol (HOG) pathway-dependent genes, including four cell wall-related genes, namely CWP1, HOR7, SPI1 and YGP1.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...