Logics and models of concurrent systems : [proceedings of the NATO Advanced Study Inst. on Logics and Models of Concurrent Systems held at LaColle-sur-Loup, France 8 - 19 October 1984]
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540151814
3540151818
9780387151816
0387151818
- Dimensions
-
25 cm
- Extent
-
VIII, 498 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
NATO ASI series / F / NATO ; Vol. 13, Series F
- Keyword
-
Nebenläufigkeit
Parallelverarbeitung
Verteiltes Datenverarbeitungssystem
Verifikation
Spezifikation
Regelung
Nebenläufigkeit
Parallelverarbeitung
Verteiltes System
Statistischer Test
Algebraische Spezifikation
Regelung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Tokyo
- (who)
-
Springer
- (when)
-
1985
- Contributor
-
Apt, Krzysztof R.
Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:14 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Apt, Krzysztof R.
- Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup)
- Springer
Time of origin
- 1985
Other Objects (12)
Model Checking Concurrent Systems Using Temporal Logics
ON A MODEL OF CONCURRENT SYSTEMS
Model theoretic logics
Models for Quantitative Distributed Systems and Multi-Valued Logics
Logics of Synonymy
Models of strategic reasoning : logics, games, and communities
Infinite state model checking of propositional dynamic logics
The Model Theory of Quantitative Coalgebraic Modal Logics
Uncertain logics, variables and systems
Role of logics in information systems : 17.07. - 21.07.95
Specification and verification of concurrent systems
Concurrent implementation of asynchronous transition systems
Model Checking Concurrent Systems Using Temporal Logics
ON A MODEL OF CONCURRENT SYSTEMS
Model theoretic logics
Models for Quantitative Distributed Systems and Multi-Valued Logics
Logics of Synonymy
Models of strategic reasoning : logics, games, and communities
Infinite state model checking of propositional dynamic logics
The Model Theory of Quantitative Coalgebraic Modal Logics
Uncertain logics, variables and systems
Role of logics in information systems : 17.07. - 21.07.95
Specification and verification of concurrent systems
Concurrent implementation of asynchronous transition systems
Model Checking Concurrent Systems Using Temporal Logics
ON A MODEL OF CONCURRENT SYSTEMS
Model theoretic logics
Models for Quantitative Distributed Systems and Multi-Valued Logics
Logics of Synonymy
Models of strategic reasoning : logics, games, and communities
Infinite state model checking of propositional dynamic logics
The Model Theory of Quantitative Coalgebraic Modal Logics
Uncertain logics, variables and systems
Role of logics in information systems : 17.07. - 21.07.95
Specification and verification of concurrent systems