- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 1993 4th Workshop on Future Trends of Distributed Computing Systems. - IEEE Comput. Soc. Press, 1993. - S. 387-393. - ISBN 0-8186-4430-3
In: 1993 4th Workshop on Future Trends of Distributed Computing Systems, Lisbon, Portugal
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2008
- Creator
-
Leue, Stefan
Oechslin, Philippe
- URN
-
urn:nbn:de:bsz:352-opus-64931
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:48 AM 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
- Leue, Stefan
- Oechslin, Philippe
- Bibliothek der Universität Konstanz
Time of origin
- 2008
Other Objects (12)
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
From SDL specifications to optimized parallel protocol implementations
On Parallelising and Optimising the Implementation of Communication Protocols
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Extending non-termination proof techniques to asynchronously communicating concurrent programs
JaCaL : an implementation of Linda in Java
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Explicit state model checking in the development process for interlocking software systems
Modeling and analyzing spike timing dependent plasticity with linear hybrid automata
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
From SDL specifications to optimized parallel protocol implementations
On Parallelising and Optimising the Implementation of Communication Protocols
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Extending non-termination proof techniques to asynchronously communicating concurrent programs
JaCaL : an implementation of Linda in Java
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Explicit state model checking in the development process for interlocking software systems
Modeling and analyzing spike timing dependent plasticity with linear hybrid automata
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
From SDL specifications to optimized parallel protocol implementations
On Parallelising and Optimising the Implementation of Communication Protocols
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Extending non-termination proof techniques to asynchronously communicating concurrent programs
JaCaL : an implementation of Linda in Java
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Explicit state model checking in the development process for interlocking software systems