ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • 1995-1999  (4)
Collection
Keywords
Publisher
Years
Year
  • 1
    Electronic Resource
    Electronic Resource
    Property preserving abstractions for the verification of concurrent systems (1995)
    Springer
    Formal methods in system design 6 (1995), S. 11-44 
    Details
    ISSN: 1572-8102
    Keywords: abstract interpretation ; simulation ; property preservation ; model-checking
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We study property preserving transformations for reactive systems. The main idea is the use of simulations parameterized by Galois connections (α, γ), relating the lattices of properties of two systems. We propose and study a notion of preservation of properties expressed by formulas of a logic, by a function α mapping sets of states of a systemS into sets of states of a systemS'. We give results on the preservation of properties expressed in sublanguages of the branching time μ-calculus when two systemsS andS' are related via (α, γ)-simulations. They can be used to verify a property for a system by verifying the same property on a simpler system which is an abstraction of it. We show also under which conditions abstraction of concurrent systems can be computed from the abstraction of their components. This allows a compositional application of the proposed verification method. This is a revised version of the papers [2] and [16]; the results are fully developed in [28].
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01384313
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Rare Atoms, Molecules and Radicals in the Coma of P/Halley (1999)
    Springer
    Space science reviews 90 (1999), S. 253-268 
    Details
    ISSN: 1572-9672
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract We have searched for rare molecules and radicals in the coma of P/Halley using the ion data obtained by IMS-Giotto. Whereas our established methods were used in the ionosphere, a new model was developed for the interpretation of the ion data in the outer coma. Ne/H2O 〈 1.5 × 10-3 was determined in the coma of the comet. Upper limits for the production of Na were derived from the very low abundance of Na+. Methyl cyanide and (probably) ethyl cyanide were identified with abundances of CH3CN/H2O = (1.4 ± .6) × 10-3 and C2H5CN/H2O = (2.8 ± 1.6) × 10-4. These results and upper limits for other N-bearing species confirm that nitrogen is depleted in the Halley material. C4H was identified and a point source strength of C4H/H2O = (2.3 ± .8) × 10-3 was derived. Our upper limit for C3H is lower than the abundance of C4H. This is in agreement with the enhanced abundances of CnH species with even numbers of C-atoms found in interstellar molecular clouds, suggesting that the C4H in Halley was synthesized under molecular cloud conditions. Thus, C4H and other organics with unpaired electrons may turn out to be indicators for a molecular cloud origin of cometary constituents.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005266619214
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Molecule Indexes (1999)
    Springer
    Space science reviews 90 (1999), S. 399-407 
    Details
    ISSN: 1572-9672
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005299510553
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    facet.materialart.
    Unknown
    On the physical properties of conducting poly(3,4-dimethoxypyrrole) films (1997)
    Elsevier
    Details
    Publication Date: 1997-02-01
    Print ISSN: 0379-6779
    Electronic ISSN: 1879-3290
    Topics: Chemistry and Pharmacology , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Published by Elsevier
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...