CONCUR 2004 - concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 : proceedings
Kaydedildi:
| Yazar: | |
|---|---|
| Müşterek Yazar: | |
| Diğer Yazarlar: | |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
3170 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • CONCUR 2004, concurrency theory, 15th international conference, London, UK, August 31-September 3, 2004, proceedings, Philippa Gardner, Nobuko Yoshida (eds.), Berlin, Springer, 2004, 1 vol. (XIII-528 p.), Lecture notes in computer science, 3-540-22940-X • CONCUR 2004 -- Concurrency Theory, Texte imprimé, 9783662210109 |
| LEADER | 04341nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 972229 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155220632 | ||
| 020 | |a 9783540286448 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.35 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Gardner, Philippa. | |
| 245 | 1 | 0 | |a CONCUR 2004 - concurrency theory : |b 15th international conference, London, UK, August 31-September 3, 2004 : proceedings |c [edited by] Philippa Gardner, Nobuko Yoshida. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 3170 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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 FixedPoint Logic. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Fonctionnement multitâche | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Yoshida, Nobuko. |4 pbd | |
| 711 | 2 | |a International Conference on Concurrency Theory |n (15 |d :2004 |c :London, GB). |4 aut | |
| 776 | 0 | |0 080686389 |t CONCUR 2004 |o concurrency theory |o 15th international conference, London, UK, August 31-September 3, 2004 |o proceedings |f Philippa Gardner, Nobuko Yoshida (eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (XIII-528 p.) |s Lecture notes in computer science |z 3-540-22940-X | |
| 776 | 0 | |t CONCUR 2004 -- Concurrency Theory |b Texte imprimé |z 9783662210109 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b100113 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-V0PNCZCK-3 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750643854 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b100113 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753994968 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b100113 |z Accès INSA CVL | |
| 997 | |0 972229 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||