Konferenzschrift | Kongress
Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783662436127
3662436124
- Dimensions
-
24 cm
- Extent
-
XII, 299 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 8461
- Keyword
-
Verteiltes System
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Heidelberg, New York, NY, Dordrecht, London, Berlin
- (who)
-
Springer
- (when)
-
2014
- Contributor
-
Ábrahám, Erika
Palamidessi, Catuscia
FORTE (34 : 2014 : Berlin)
International Federated Conference on Distributed Computing Techniques (9 : 2014 : Berlin)
- 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, 1:43 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.
Object type
- Konferenzschrift
- Kongress
Associated
- Ábrahám, Erika
- Palamidessi, Catuscia
- FORTE (34 : 2014 : Berlin)
- International Federated Conference on Distributed Computing Techniques (9 : 2014 : Berlin)
- Springer
Time of origin
- 2014
Other Objects (12)
A theory of distributed objects : asynchrony - mobility - groups - components
Engineering distributed objects
Spatially distributed normative objects
34th International Symposium on Distributed Computing (DISC 2020)
Adaptive caching of distributed components
Adaptive caching of distributed components
Ordering transactions on distributed persistent objects
Distributed Databases of non-textual Objects
Dynamic upgrade of distributed software components
Learning DCOM : [distributed components on Windows]
Functional Active Objects: Noninterference and Distributed Consensus
Proving the safety of highly-available distributed objects
A theory of distributed objects : asynchrony - mobility - groups - components
Engineering distributed objects
Spatially distributed normative objects
34th International Symposium on Distributed Computing (DISC 2020)
Adaptive caching of distributed components
Adaptive caching of distributed components
Ordering transactions on distributed persistent objects
Distributed Databases of non-textual Objects
Dynamic upgrade of distributed software components
Learning DCOM : [distributed components on Windows]
Functional Active Objects: Noninterference and Distributed Consensus
Proving the safety of highly-available distributed objects
A theory of distributed objects : asynchrony - mobility - groups - components
Engineering distributed objects
Spatially distributed normative objects
34th International Symposium on Distributed Computing (DISC 2020)
Adaptive caching of distributed components
Adaptive caching of distributed components
Ordering transactions on distributed persistent objects
Distributed Databases of non-textual Objects
Dynamic upgrade of distributed software components
Learning DCOM : [distributed components on Windows]
Functional Active Objects: Noninterference and Distributed Consensus