X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Online-Ressource
    Online-Ressource
    CONCUR 2004 - Concurrency Theory : 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings (2004)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Dazugehörige Titel
    Details
    UID:
    almahu_9947920818802882
    Umfang: XIV, 534 p. , online resource.
    ISBN: 9783540286448
    Serie: Lecture Notes in Computer Science, 3170
    Anmerkung: Invited Papers -- Zing: Exploiting Program Structure for Model Checking Concurrent Software -- A Semantics for Concurrent Separation Logic -- A Survey of Regular Model Checking -- Resources, Concurrency and Local Reasoning -- Accepted Papers -- Resource Control for Synchronous Cooperative Threads -- Verifying Finite-State Graph Grammars: An Unfolding-Based Approach -- The Pros and Cons of Netcharts -- Basic Theory of Reduction Congruence forTwo Timed Asynchronous ?-Calculi -- Characterizing EF and EX Tree Logics -- Message-Passing Automata Are Expressively Equivalent to EMSO Logic -- Symbolic Bisimulation in the Spi Calculus -- A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps -- Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems -- ?ABC: A Minimal Aspect Calculus -- Type Based Discretionary Access Control -- Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency -- Modular Construction of Modal Logics -- Verification by Network Decomposition -- Reversible Communicating Systems -- Parameterised Boolean Equation Systems -- An Extensional Spatial Logic for Mobile Processes -- Timed vs. Time-Triggered Automata -- Extended Process Rewrite Systems: Expressiveness and Reachability -- A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications -- Model Checking Timed Automata with One or Two Clocks -- On Flatness for 2-Dimensional Vector Addition Systems with States -- Compiling Pattern Matching in Join-Patterns -- Model Checking Restricted Sets of Timed Paths -- Asynchronous Games 2: The True Concurrency of Innocence -- Open Maps, Alternating Simulations and Control Synthesis -- Probabilistic Event Structures and Domains -- Session Types for Functional Multithreading -- A Higher Order Modal Fixed Point Logic.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540229407
    Sprache: Englisch
    DOI: 10.1007/b100113
    URL: http://dx.doi.org/10.1007/b100113
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 2
    Online-Ressource
    Online-Ressource
    CONCUR 2004 -- Concurrency Theory : 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (2004)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Dazugehörige Titel
    Details
    UID:
    almahu_9948621631502882
    Umfang: XIV, 534 p. , online resource.
    Ausgabe: 1st ed. 2004.
    ISBN: 9783540286448
    Serie: Lecture Notes in Computer Science, 3170
    Anmerkung: Invited Papers -- Zing: Exploiting Program Structure for Model Checking Concurrent Software -- A Semantics for Concurrent Separation Logic -- A Survey of Regular Model Checking -- Resources, Concurrency and Local Reasoning -- Accepted Papers -- Resource Control for Synchronous Cooperative Threads -- Verifying Finite-State Graph Grammars: An Unfolding-Based Approach -- The Pros and Cons of Netcharts -- Basic Theory of Reduction Congruence forTwo Timed Asynchronous ?-Calculi -- Characterizing EF and EX Tree Logics -- Message-Passing Automata Are Expressively Equivalent to EMSO Logic -- Symbolic Bisimulation in the Spi Calculus -- A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps -- Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems -- ?ABC: A Minimal Aspect Calculus -- Type Based Discretionary Access Control -- Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency -- Modular Construction of Modal Logics -- Verification by Network Decomposition -- Reversible Communicating Systems -- Parameterised Boolean Equation Systems -- An Extensional Spatial Logic for Mobile Processes -- Timed vs. Time-Triggered Automata -- Extended Process Rewrite Systems: Expressiveness and Reachability -- A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications -- Model Checking Timed Automata with One or Two Clocks -- On Flatness for 2-Dimensional Vector Addition Systems with States -- Compiling Pattern Matching in Join-Patterns -- Model Checking Restricted Sets of Timed Paths -- Asynchronous Games 2: The True Concurrency of Innocence -- Open Maps, Alternating Simulations and Control Synthesis -- Probabilistic Event Structures and Domains -- Session Types for Functional Multithreading -- A Higher Order Modal Fixed Point Logic.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9783662210109
    Weitere Ausg.: Printed edition: ISBN 9783540229407
    Sprache: Englisch
    DOI: 10.1007/b100113
    URL: https://doi.org/10.1007/b100113
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 3
    Online-Ressource
    Online-Ressource
    CONCUR 2004 - Concurrency Theory : 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings (2004)
    Berlin : Springer
    Details
    UID:
    gbv_749095733
    Umfang: Online-Ressource (XIII, 528 S.) , graph. Darst., digital
    Ausgabe: Reproduktion Springer eBook Collection. Computer Science
    ISBN: 9783540286448
    Serie: Lecture Notes in Computer Science 3170
    Inhalt: This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004. The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, constraint logic programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification
    Weitere Ausg.: ISBN 9783540229407
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe CONCUR (15 : 2004 : London) CONCUR 2004 - Concurrency theory Berlin : Springer, 2004 ISBN 354022940X
    Sprache: Englisch
    Schlagwort(e): Nebenläufigkeit ; Konferenzschrift
    DOI: 10.1007/b100113
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    URL: Inhaltstext
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    UB Potsdam
  • 4
    Buch
    Buch
    CONCUR 2004 - Concurrency theory : 15th international conference, London, UK, August 31 - September 3, 2004 ; proceedings (2004)
    Berlin : Springer
    Details
    UID:
    gbv_392332639
    Umfang: XIII, 528 S. , graph. Darst. , 235 mm x 155 mm
    ISBN: 354022940X
    Serie: Lecture notes in computer science 3170
    Anmerkung: Literaturangaben
    Weitere Ausg.: Erscheint auch als Online-Ausgabe Gardner, Philippa CONCUR 2004 -- Concurrency Theory Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 ISBN 9783540229407
    Weitere Ausg.: Erscheint auch als Online-Ausgabe CONCUR (15 : 2004 : London) CONCUR 2004 - Concurrency Theory Berlin : Springer, 2004 ISBN 9783540286448
    Sprache: Englisch
    Schlagwort(e): Nebenläufigkeit ; Konferenzschrift
    URL: Cover
    URL: Inhaltstext
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    UB Potsdam get availability status
  • 5
    Buch
    Buch
    Concurrency theory : 15th international conference ; proceedings (2004)
    Berlin [u.a.] : Springer
    Details
    UID:
    kobvindex_ZLB13794649
    Umfang: XIII, 528 Seiten , graph. Darst. , 24 cm
    Ausgabe: 1
    ISBN: 354022940X
    Serie: Lecture notes in computer science 3170
    Anmerkung: Text engl.
    Sprache: Englisch
    Schlagwort(e): Nebenläufigkeit ; Kongress ; London 〈2004〉 ; Kongress ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    Berlin VÖBB/ZLB get availability status
Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.
Meinten Sie 9783540224907?
Meinten Sie 9783540089407?
Meinten Sie 9783540220107?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz