Affiliation

Affiliation Logo

Date

Publisher

Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II

Journal Title

Journal ISSN

Volume Title

Abstract

SDL in der 1996 standardisierten Sprachversion ist zur Zeit die im Telekommunikationsbereich am weitesten verbreitete Sprache zur Spezifikation von Protokollen. Ein wesentlicher Aspekt der Sprachentwicklung seit 1988 ist auch die Verfügbarkeit einer formalen Basis semantischer Konzepte. Für das Datenkonzept der Sprache wurde auf die algebraischen Technik ACT ONE zurückgegriffen. Obwohl...

Description

SDG

Citation