Quality of Communication-Based Systems

Edited by Günter Hommel

in Springer Books from Springer

Date: 1995
ISBN: 978-94-011-0187-5
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

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 U. 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 Rôle of Object References in Distributed Systems

Peter Dickman

On Protocols for Loss-less Statistical Multiplexing in Integrated Networks

Mihai Mateescu

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-94-011-0187-5

Ordering information: This item can be ordered from
http://www.springer.com/9789401101875

DOI: 10.1007/978-94-011-0187-5

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().