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....
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
335 |
| 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: | • 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 |
Taula de continguts:
- 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.