Research Catalog

Quality of communication-based systems : proceedings of a n international workshop held at the TU Berlin, Germany, September 1994

Title
Quality of communication-based systems : proceedings of a n international workshop held at the TU Berlin, Germany, September 1994 / edited by Günter Hommel.
Publication
Dordrecht ; Boston : Kluwer Academic, [1995], ©1995.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.A23 Q35 1995Off-site

Holdings

Details

Additional Authors
Hommel, Günter.
Description
x, 195 pages : illustrations; 25 cm
Subjects
Bibliography (note)
  • Includes bibliographical references.
Contents
  • Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes / Julia Padberg -- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs / Alfonso Pierantonio -- Specification of Concurrent Systems: from Petri Nets to Graph Grammars / A. Corradini and Ugo Montanari -- Towards a Theory of Strong Bisimulation for the Service Rendezvous / Michael Baldamus -- Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets / Varsha Mainkar and Kishor S. Trivedi -- Performance Modeling with Structured Actions / Ina Schieferdecker -- Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables / Reinhard German -- Discrete Time Deterministic and Stochastic Petri Nets / Robert Zijal -- Bauhaus Linda: An Overview / Nicholas Carriero, David Gelernter and Lenore Zuck -- Naming and Typing in Languages for Coordination in Open Distributed Systems / Robert Tolksdorf --
  • An Efficient Implementation of Decoupled Communication in Distributed Environments / Andreas Polze -- Extending the Role of Object References in Distributed Systems / Peter Dickman -- On Protocols for Loss-less Statistical Multiplexing in Integrated Networks / Mihai Mateescu.
ISBN
0792332598 (acid-free paper)
LCCN
94039301
OCLC
ocm31436502
Owning Institutions
Columbia University Libraries