CONCUR '93 : 4th International conference on concurrency theory, Hildesheim, Germany, August 23 26, 1993 : proceedings
This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications. The volume contains 31 papers selected from 113submis...
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | |
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science
715 |
| נושאים: | |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • CONCUR '93, proceedings, 4th International conference on concurrency theory, Hildesheim, Germany, August 23-26, 1993, Berlin, Springer-Verlag, 1993, 1 vol. (IX-540 p.), Lecture notes in computer science, 3-540-57208-2 • CONCUR'93, Texte imprimé, 9783662207215 |
| LEADER | 05269nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 944251 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155180541 | ||
| 020 | |a 9783540479680 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on concurrency theory |n (04 |d :1993 |c :Hildesheim, Allemagne). | |
| 245 | 1 | 0 | |a CONCUR '93 : |b 4th International conference on concurrency theory, Hildesheim, Germany, August 23 26, 1993 : proceedings |c [edited by] Eike Best. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 715 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a The lambda-calculus with multiplicities -- A multiset semantics for the pi-calculus with replication -- Model checking mobile processes -- A practical technique for process abstraction -- Modular completeness for Communication Closed Layers -- The linear time Branching time spectrum II -- A classification of models for concurrency -- On the ill-timed but well-caused -- On the reduction of chocs bisimulation to ?-calculus bisimulation -- A theory of bisimulation for the ?-calculus -- Bisimulation equivalence is decidable for basic parallel processes -- A pi-calculus semantics for an object-based design notation -- Programming with broadcasts -- Interpreting broadcast communication in SCCS -- Proof systems for message-passing process algebras -- Refinement and decomposition of value-passing action systems -- Partial-order methods for temporal verification -- Model construction for implicit specifications in modal logic -- Branching time temporal logic and amorphous tree automata -- A generalized event structure for the Muller unfolding of a safe net -- Domains of higher-dimensional automata -- Non interleaving process algebra -- Quiescence, fairness, testing, and the notion of implementation -- Two fully abstract models for UNITY -- Transformations preserving properties and properties preserved by transformations in fair transition systems (extended abstract) -- Minimal memory schedules for dataflow networks -- Networks of real-time processes -- Loop parallelization in the polytope model -- ACSR: An algebra of communicating shared resources with dense time and priorities -- An Elimination Theorem for regular behaviours with integration -- A linear local model checking algorithm for CTL -- Local event structures and Petri nets -- A congruence theorem for structured operational semantics withpredicates -- From CML to process algebras -- Types for dyadic interaction -- Principal typing schemes in a polyadic ?-calculus -- Structured operational semantics for process algebras and equational axiom 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 volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications. The volume contains 31 papers selected from 113submissions, together with four invited papers and two abstracts of invited talks. The invited talks are: "The lambda-calculus with multiplicities" (extended abstract) by G rard Boudol, "A pi-calculus semantics for an object-based design notation" by Cliff B. Jones, "Partial-order methods for temporal verification" by Pierre Wolper and Patrice Godefroid, "Non-interleaving process algebra" by Jos C.M. Baetenand Jan A. Bergstra, "Loop parallelization in the polytope model" by Christian Lengauer, and "Structured operational semantics for process algebras and equational axiom systems" (abstract) by Bard Bloom. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Best, Eike, |d 1951-...., |c physicien. |4 pbd | |
| 776 | 0 | |0 017435331 |t CONCUR '93 |o proceedings |f 4th International conference on concurrency theory, Hildesheim, Germany, August 23-26, 1993 |c Berlin |n Springer-Verlag |d 1993 |p 1 vol. (IX-540 p.) |s Lecture notes in computer science |z 3-540-57208-2 | |
| 776 | 0 | |t CONCUR'93 |b Texte imprimé |z 9783662207215 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-57208-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-7V4SGXRD-L |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74792144X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-57208-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750933844 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-57208-2 |z Accès INSA CVL | |
| 997 | |0 944251 |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/ | ||