CONCUR '91 : 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26 29, 1991 : proceedings
CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selecte...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
527 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • CONCUR'91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, proceedings, J.C.M. Baeten, J.F. Groote (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (IX-540 p.), Lecture notes in computer science, 0-387-54430-5 • CONCUR '91, Texte imprimé, 9783662203736 |
| LEADER | 05093nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944280 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155181904 | ||
| 020 | |a 9783540383574 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 004.35 | ||
| 111 | 2 | |a International Conference on Concurrency Theory |n (02 |d :1991 |c :Amsterdam). | |
| 245 | 1 | 0 | |a CONCUR '91 : |b 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26 29, 1991 : proceedings |c [edited by] Jos C. M. Baeten, J. F. Groote. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 527 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Formal techniques for parallel object-oriented languages -- Causal models for rational algebraic processes -- Action and state-based logics for process algebras -- A tool set for deciding behavioral equivalences -- Causality based models for the design of concurrent systems -- Modal logics for mobile processes -- Towards a design calculus for communicating programs -- A theory of testing for ACP -- Real space process algebra -- The failure of failures in a paradigm for asynchronous communication -- Embedding as a tool for language comparison: On the CSP hierarchy -- A conditional operator for CCS -- Algebraic formulations of trace theory -- Compositional synthesis of live and bounded free choice Petri nets -- The observation algebra of spatial pomsets -- Synchrony loosening transformations for interacting processes -- A compositional model for layered distributed systems -- Process algebra with guards -- Model checking and modular verification -- Geometric logic, causality and event structures -- Extended Horn clauses: the framework and some semantics -- Action systems and action refinement in the development of parallel systems -- Invariant semantics of nets with inhibitor arcs -- Abstract timed observation and process algebra -- Simulations between specifications of distributed systems -- Using truth-preserving reductions to improve the clarity of kripke-models -- Completeness in real time process algebra -- Distributed CCS -- Time-constrained automata -- Relating processes with respect to speed -- Testing, betting and timed true concurrency -- Fairness in models with true concurrency -- Efficient verification of determinate processes -- Experiments on processes with backtracking -- Some finite-graph models for process algebra -- A method for the development of totally correct shared-state parallel programs -- Reduced labelled transition systems save verification effort. | |
| 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 CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of the other invited papers. The papers are organized into sections on process algebras, logics and model checking, applications and specification languages, models and net theory, design and real-time, tools and probabilities, and programming languages. The proceedings of CONCUR'90 are available asVolume 458 of Lecture Notes in Computer Science. | ||
| 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 Baeten, Jos C. M., |d 1954- |4 pbd | |
| 700 | 1 | |a Groote, Jan Frisco. |4 pbd | |
| 776 | 0 | |0 022178457 |t CONCUR'91 |o 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991 |o proceedings |f J.C.M. Baeten, J.F. Groote (eds.) |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (IX-540 p.) |s Lecture notes in computer science |z 0-387-54430-5 | |
| 776 | 0 | |t CONCUR '91 |b Texte imprimé |z 9783662203736 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-54430-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-KDMTB846-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747921121 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-54430-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750933569 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-54430-5 |z Accès INSA CVL | |
| 997 | |0 944280 |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/ | ||