Modeling layered distributed communication systems

DOI10.1007/S00165-004-0051-8zbMath1101.68383OpenAlexW1972647957MaRDI QIDQ2576568

Manfred Broy, Dominikus Herzberg

Publication date: 13 December 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-004-0051-8

zbMATH Keywords

DistributionLayeringModeling communication systems

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items (2)

Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ A functional formalization of on chip communications

This page was built for publication: Modeling layered distributed communication systems