CONCURRENCY 88 : International conference on concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings
This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great interest in the field of formal methods as a means of mastering the complexity of distributed systems....
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
335 |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Concurrency 88, proceedings, International conference on concurrency, Hamburg, FRG, October 18-19, 1988, 1988, Berlin, Springer-Verlag, 1 vol. (400 p.), Lecture notes in computer science, 3-540-50403-6 • Concurrency 88, Texte imprimé, 9783662212158 |
| LEADER | 04949nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944842 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155203959 | ||
| 020 | |a 9783540459996 | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Concurrency '88 |c :Hambourg, Allemagne). | |
| 245 | 1 | 0 | |a CONCURRENCY 88 : |b International conference on concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings |c [edited by] F. H. Vogt. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 335 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a While waiting for the millennium: Formal specification and verification of concurrent systems now -- A framework for the synthesis of reactive modules -- Modelling knowledge and action in distributed systems: Preliminary report -- Requirement and design specification for distributed systems -- Data base distribution and concurrency for end-users -- On safety and timeliness in distributed data management (preliminary report) -- An automata-theoretic approach to protocol verification -- On the power of cooperative concurrency -- Executing temporal logic: Review and prospects -- A graphical representation of interval logic -- Temporal logic and causality in concurrent systems -- Data in a concurrent environment -- The scope and limits of synchronous concurrent computation -- A logic-functional approach to the execution of CCS specifications modulo behavioural equivalences -- A top-down step-wise refinement methodology for protocol specification -- A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence -- External behaviour equivalence between two petrinets -- Weighted basic Petri nets -- Total algorithms -- Semantics of real-time distributed programs -- An example of communicating production systems -- Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases -- Analysis of estelle specifications -- Optimal synchronization of ABD networks -- Adequacy-preserving transformations of COSY path programs -- Deterministic systems of sequential processes: Theory and tools. | |
| 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 CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great interest in the field of formal methods as a means of mastering the complexity of distributed systems. In addition, the impulse was determined by the fact that the various methodological approaches, such as constructive or property oriented methods, have not had an extensive comparative analysis nor have they been investigated with respect to their possible integration and their practical implications. The following topics were addressed: Specification Languages, Models for Distributed Systems, Verification and Validation, Knowledge Based Protocol Modeling, Fault Tolerance, Distributed Databases. The volume contains 12 invited papers and 14 contributions selected by the program committee. They were presented by authors from Austria, the Federal Republic of Germany, France, Israel, Italy, the Netherlands, the United Kingdom and the United States. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Structure logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Vogt, Friedrich H., |d 1943- |4 pbd | |
| 776 | 0 | |0 020879369 |t Concurrency 88 |o proceedings |f International conference on concurrency, Hamburg, FRG, October 18-19, 1988 |d 1988 |c Berlin |n Springer-Verlag |p 1 vol. (400 p.) |s Lecture notes in computer science |z 3-540-50403-6 | |
| 776 | 0 | |t Concurrency 88 |b Texte imprimé |z 9783662212158 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-50403-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-3K3DC7RM-V |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747915989 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-50403-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75092862X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-50403-6 |z Accès INSA CVL | |
| 997 | |0 944842 |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/ | ||