CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2761 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • CONCUR 2003, concurrency theory, 14th international conference, Marseille, France, September 3-5, 2003, proceedings, Roberto Amadio, Denis Lugiez, eds, Berlin, Springer, 2003, 1 vol. (XI-524 p.), Lecture notes in computer science, 3-540-40753-7 • CONCUR 2003 - Concurrency Theory, Texte imprimé, 9783662172759 |
| LEADER | 04625nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 948440 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155164600 | ||
| 020 | |a 9783540451877 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.35 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Concurrency Theory |n (14 |d :2003 |c :Marseille). | |
| 245 | 1 | 0 | |a CONCUR 2003 - concurrency theory : |b 14th international conference, Marseille, France, September 3-5, 2003 : proceedings |c [edited by] Roberto Amadio, Denis Lugiez. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2761 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Partial Orders and Asynchronous Systems -- Distributed Monitoring of Concurrent and Asynchronous Systems -- Synthesis of Distributed Algorithms Using Asynchronous Automata -- Compression of Partially Ordered Strings -- Process Algebra -- Bundle Event Structures and CCSP -- Syntactic Formats for Free -- Priority Rewrite Systems for OSOS Process Languages -- Games -- Quantitative Verification and Control via the Mu-Calculus -- Playing Games with Boxes and Diamonds -- The Element of Surprise in Timed Games -- Infinite Systems -- Deciding Bisimilarity between BPA and BPP Processes -- Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management -- Probabilistic Automata -- Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic,... -- A Process-Algebraic Language for Probabilistic I/O Automata -- Compositionality for Probabilistic Automata -- Model-Checking -- Satisfiability and Model Checking for MSO-Definable Temporal Logics Are in PSPACE -- Equivalence Checking of Non-flat Systems Is EXPTIME-Hard -- Model Checking a Path -- Model-Checking and HMSC -- Multi-valued Model Checking via Classical Model Checking -- An Extension of Pushdown System and Its Model Checking Method -- Netcharts: Bridging the Gap between HMSCs and Executable Specifications -- High-Level Message Sequence Charts and Projections -- Security -- Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus -- Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions -- Contract Signing, Optimism, and Advantage -- Mobility -- Full Abstraction for HOPLA -- Modeling Consensus in a Process Calculus -- Linear Forwarders -- Compositional Methods and Real Time -- Abstract Patterns of Compositional Reasoning -- Relating Fairness and Timing in Process Algebras -- A Compositional Semantic Theory for Synchronous Component-Based Design -- Probabilistic Models -- Conditional Expectation and the Approximation of Labelled Markov Processes -- Comparative Branching-Time Semantics for Markov Chains -- Quantitative Relations and Approximate Process Equivalences. | |
| 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 Actes de congrès | ||
| 700 | 1 | |a Amadio, Roberto, |d 19..- |4 pbd | |
| 700 | 1 | |a Lugiez, Denis, |d 19..-...., |c auteur en informatique. |4 pbd | |
| 776 | 0 | |0 075530597 |t CONCUR 2003 |o concurrency theory |o 14th international conference, Marseille, France, September 3-5, 2003 |o proceedings |f Roberto Amadio, Denis Lugiez, eds |c Berlin |n Springer |d 2003 |p 1 vol. (XI-524 p.) |s Lecture notes in computer science |z 3-540-40753-7 | |
| 776 | 0 | |t CONCUR 2003 - Concurrency Theory |b Texte imprimé |z 9783662172759 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b11938 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-W417QT9P-7 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748055851 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b11938 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751507164 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b11938 |z Accès INSA CVL | |
| 997 | |0 948440 |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/ | ||