Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 6 von 524
    Datensatz exportieren als...
  • BibTeX
Graphical models of separation logic
Information processing letters, 2009-08, Vol.109 (17), p.1001-1004
2009

Details

Autor(en) / Beteiligte
Titel
Graphical models of separation logic
Ist Teil von
  • Information processing letters, 2009-08, Vol.109 (17), p.1001-1004
Ort / Verlag
Amsterdam: Elsevier B.V
Erscheinungsjahr
2009
Link zum Volltext
Quelle
Elsevier ScienceDirect Journals
Beschreibungen/Notizen
  • Graphs are used to model control and data flow among events occurring in the execution of a concurrent program. Our treatment of data flow covers both shared storage and external communication. Nevertheless, the laws of Hoare and Jones correctness reasoning remain valid when interpreted in this general model.
Sprache
Englisch
Identifikatoren
ISSN: 0020-0190
eISSN: 1872-6119
DOI: 10.1016/j.ipl.2009.06.003
Titel-ID: cdi_proquest_journals_237289011
Format
–
Schlagworte
Algorithmics. Computability. Computer arithmetics, Applied sciences, Artificial intelligence, Computer science, control theory, systems, Concurrency, Exact sciences and technology, Formal semantics, Graph theory, Information retrieval. Graph, Miscellaneous, Problem solving, game playing, Studies, Theoretical computing

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX