CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26 29, 1996 : proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributio...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
1119 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • CONCUR '96, concurrency theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, proceedings, Ugo Montanari, Vladimiro Sassone, eds, 1996, Berlin, Springer, 1 vol. (XII-750 p.), Lecture notes in computer science, 3-540-61604-7 • CONCUR '96: Concurrency Theory, Texte imprimé, 9783662191231 |
| LEADER | 05411nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944289 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155182617 | ||
| 020 | |a 9783540706250 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Concurrency Theory |n (07 |d :1996 |c :Pise, Italie). | |
| 245 | 1 | 0 | |a CONCUR '96 : |b concurrency theory : 7th International Conference, Pisa, Italy, August 26 29, 1996 : proceedings |c [edited by] Ugo Montanari, Vladimiro Sassone. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1119 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Retracing some paths in process algebra -- Process calculus based upon evaluation to committed form -- A process algebra with distributed priorities -- Symbolic transition graph with assignment -- Models for concurrent constraint programming -- Comparing transition systems with independence and asynchronous transition systems -- A presheaf semantics of value-passing processes -- Elementary control structures -- On transformations of concurrent object programs -- On bisimulations for the asynchronous ?-calculus -- On the expressiveness of internal mobility in name-passing calculi -- Decoding choice encodings -- Infinite results -- Decidability of bisimulation equivalence for normed pushdown processes -- The modal mu-calculus alternation hierarchy is strict -- Bisimulation collapse and the process taxonomy -- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic -- A Facile tutorial -- Testing probabilistic automata -- Extended Markovian Process Algebra -- Rewriting logic as a semantic framework for concurrency: a progress report -- Truly concurrent constraint programming -- Constraints as processes -- A calculus of mobile agents -- Algebraic interpretation of lambda calculus with resources -- Concurrent graph and term graph rewriting -- Petri boxes and finite precedence -- Constrained properties, semilinear systems, and Petri nets -- Linear constraint systems as high-level nets -- A space-efficient on-the-fly algorithm for real-time model checking -- State equivalences for rectangular hybrid automata -- Verifying abstractions of timed systems -- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation -- Modelling and verification of Distributed Algorithms -- An algorithmic approach for checkingclosure properties of ?-regular languages -- Towards automata for branching time and partial order -- Asynchronous cellular automata for pomsets without auto-concurrency -- Action refinement and property inheritance in systems of sequential agents -- A calculus for concurrent objects -- Refinement in Interworkings -- Equivalences of Statecharts -- Modular verification for shared-variable concurrent programs -- The impact of hardware models on shared memory consistency conditions -- Synchronous development of asynchronous systems. | |
| 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 | ||
| 520 | |a This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems. | ||
| 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 Montanari, Ugo, |d 1943- |4 pbd | |
| 700 | 1 | |a Sassone, Vladimiro, |d 19..-...., |c informaticien. |4 pbd | |
| 776 | 0 | |0 026094452 |t CONCUR '96 |o concurrency theory |o 7th International Conference, Pisa, Italy, August 26-29, 1996 |o proceedings |f Ugo Montanari, Vladimiro Sassone, eds |d 1996 |c Berlin |n Springer |p 1 vol. (XII-750 p.) |s Lecture notes in computer science |z 3-540-61604-7 | |
| 776 | 0 | |t CONCUR '96: Concurrency Theory |b Texte imprimé |z 9783662191231 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61604-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-82VCZ8P9-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747921024 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61604-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75093347X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61604-7 |z Accès INSA CVL | |
| 997 | |0 944289 |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/ | ||