Recommendation Z.100 Annex F3 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F3: SDL-2010 formal definition: Dynamic semantics

Edel Sherratt; Rick Reed; Andreas Prinz; Martin von Löwis of Menar; Michael Piefel; Reinhard Gotzhein; Robert Eschbach; Uwe Glässer; Ying Wang; Yuhong Zhao; Weilei Zhang; Bo Ai

Recommendation Z.100 Annex F3 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F3: SDL-2010 formal definition: Dynamic semantics

Edel Sherratt
, Rick Reed
, Andreas Prinz
, Martin von Löwis of Menar
, Michael Piefel
, Reinhard Gotzhein
, Robert Eschbach
, Uwe Glässer
, Ying Wang
, Yuhong Zhao
, Weilei Zhang
, Bo Ai

Department of Computer Science

Research output: Other contribution

Abstract

This annex defines the SDL-2010 dynamic semantics

Original language	English
Type	ITU-T recommendation
Media of output	text
Publisher	International Telecommunication Union Telecommunication Standardization Sector
Number of pages	154
Publication status	Accepted/In press - 28 Jul 2021

Access to Document

https://www.itu.int/ITU-T/recommendations/rec.aspx?rec=14703&lang=en

Permanent link

Persistent link

Cite this

Sherratt, E., Reed, R., Prinz, A., von Löwis of Menar, M., Piefel, M., Gotzhein, R., Eschbach, R., Glässer, U., Wang, Y., Zhao, Y., Zhang, W., & Ai, B. (2021, Jul 28). Recommendation Z.100 Annex F3 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F3: SDL-2010 formal definition: Dynamic semantics. International Telecommunication Union Telecommunication Standardization Sector. https://www.itu.int/ITU-T/recommendations/rec.aspx?rec=14703&lang=en

@misc{3c6ef5de073c405f9cf47db685161f77,

title = "Recommendation Z.100 Annex F3 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F3: SDL-2010 formal definition: Dynamic semantics",

abstract = "This annex defines the SDL-2010 dynamic semantics",

author = "Edel Sherratt and Rick Reed and Andreas Prinz and \{von L{\"o}wis of Menar\}, Martin and Michael Piefel and Reinhard Gotzhein and Robert Eschbach and Uwe Gl{\"a}sser and Ying Wang and Yuhong Zhao and Weilei Zhang and Bo Ai",

note = "Rick Reed and Edel Sherratt are responsible for the 2015, 2016, 2018 and 2019 versions of this recommendation which also includes contributions by the authors listed above and by other authors over many years.",

year = "2021",

month = jul,

day = "28",

language = "English",

publisher = "International Telecommunication Union Telecommunication Standardization Sector",

type = "Other",

}

Sherratt, E, Reed, R, Prinz, A, von Löwis of Menar, M, Piefel, M, Gotzhein, R, Eschbach, R, Glässer, U, Wang, Y, Zhao, Y, Zhang, W & Ai, B 2021, Recommendation Z.100 Annex F3 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F3: SDL-2010 formal definition: Dynamic semantics. International Telecommunication Union Telecommunication Standardization Sector. <https://www.itu.int/ITU-T/recommendations/rec.aspx?rec=14703&lang=en>

TY - GEN

T1 - Recommendation Z.100 Annex F3 (06/21)

T2 - Specification and Description Language – Overview of SDL 2010 Annex F3: SDL-2010 formal definition: Dynamic semantics

AU - Sherratt, Edel

AU - Reed, Rick

AU - Prinz, Andreas

AU - von Löwis of Menar, Martin

AU - Piefel, Michael

AU - Gotzhein, Reinhard

AU - Eschbach, Robert

AU - Glässer, Uwe

AU - Wang, Ying

AU - Zhao, Yuhong

AU - Zhang, Weilei

AU - Ai, Bo

N1 - Rick Reed and Edel Sherratt are responsible for the 2015, 2016, 2018 and 2019 versions of this recommendation which also includes contributions by the authors listed above and by other authors over many years.

PY - 2021/7/28

Y1 - 2021/7/28

N2 - This annex defines the SDL-2010 dynamic semantics

AB - This annex defines the SDL-2010 dynamic semantics

M3 - Other contribution

PB - International Telecommunication Union Telecommunication Standardization Sector

ER -

Recommendation Z.100 Annex F3 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F3: SDL-2010 formal definition: Dynamic semantics

Abstract

Access to Document

Permanent link

Fingerprint

Cite this