Printed from https://ideas.repec.org/b/spr/sprbok/978-94-011-0187-5.html
Quality of Communication-Based Systems
Editor
- Günter Hommel(Technische Universität Berlin)
Abstract
Individual chapters are listed in the "Chapters" tab
Suggested Citation
DOI: 10.1007/978-94-011-0187-5
Download full text from publisher
To our knowledge, this item is not available for download. To find whether it is available, there are three options:1. Check below whether another version of this item is available online.
2. Check on the provider's web page whether it is in fact available.
3. Perform a for a similarly titled item that would be available.
Book Chapters
The following chapters of this book are listed in IDEAS- Julia Padberg, 1995. "Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 1-17, Springer.
- Alfonso Pierantonio, 1995. "Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 19-34, Springer.
- A. Corradini & U. Montanari, 1995. "Specification of Concurrent Systems: from Petri Nets to Graph Grammars," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 35-52, Springer.
- Michael Baldamus, 1995. "Towards a Theory of Strong Bisimulation for the Service Rendezvous," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 53-67, Springer.
- Varsha Mainkar & Kishor S. Trivedi, 1995. "Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 69-84, Springer.
- Ina Schieferdecker, 1995. "Performance Modeling with Structured Actions," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 85-104, Springer.
- Reinhard German, 1995. "Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 105-121, Springer.
- Robert Zijal, 1995. "Discrete Time Deterministic and Stochastic Petri Nets," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 123-136, Springer.
- Nicholas Carriero & David Gelernter & Lenore Zuck, 1995. "Bauhaus Linda: An Overview," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 137-146, Springer.
- Robert Tolksdorf, 1995. "Naming and typing in languages for coordination in open distributed systems," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 147-161, Springer.
- Andreas Polze, 1995. "An Efficient Implementation of Decoupled Communication in Distributed Environments," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 163-177, Springer.
- Peter Dickman, 1995. "Extending the Rôle of Object References in Distributed Systems," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 179-179, Springer.
- Mihai Mateescu, 1995. "On Protocols for Loss-less Statistical Multiplexing in Integrated Networks," Springer Books, in: Günter Hommel (ed.), Quality of Communication-Based Systems, pages 181-195, Springer.
Corrections
All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:sprbok:978-94-011-0187-5. See general information about how to correct material in RePEc.
If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
We have no bibliographic references for this item. You can help adding them by using this form .
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .
Please note that corrections may take a couple of weeks to filter through the various RePEc services.