Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Quality of Communication-Based Systems

Quality of Communication-Based Systems

Hommel, Gunter
Hommel, Gunther

Hardcover

AlgebraGeneral ComputersProgramming

ISBN10: 0792332598
ISBN13: 9780792332596
Publisher: Springer Nature
Published: Jan 31 1995
Pages: 208
Weight: 1.03
Height: 0.50 Width: 6.14 Depth: 9.21
Language: English
Contributions to Quality from Specification Techniques. Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes; J. Padberg. Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs; A. Pierantonio. Specification of Concurrent Systems: from Petri Nets to Graph Grammars; A. Corradini, U. Montanari. Towards a Theory of Strong Bisimulation for the Service Rendezvous; M. Baldamus. Contributions to Quality from Quantitative Modelling. Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets; V. Mainkar, K.S. Trivedi. Performance Modeling with Structured Actions; I. Schieferdecker. Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables; R. German. Discrete Time Deterministic and Stochastic Petri Nets; R. Zijal. Contributions to Quality from Distributed Systems Organization. Bauhaus Linda: an Overview; N. Carriero, D. Gelernter, L. Zuck. Naming and Typing in Languages for Coordination in Open Distributed Systems; R. Tolksdorf. An Efficient Implementation of Decoupled Communication in Distributed Environments; A. Polze. Extending the Role of Object References in Distributed Systems; P. Dickman. On Protocols for Loss-Less Statistical Multiplexing in Integrated Networks; M. Mateescu.

Also in

General Computers

View All