Formalizing graphical service descriptions using SDL

DOI10.1007/3-540-45075-0_11MaRDI QIDQ4450975zbMATH OpenFDO

Authors Kenneth J. Turner

Publication date 16 February 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2708/27080183.htm, http://hdl.handle.net/1893/490

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Modelling SIP services using CRESS
• Algebraic Methodology and Software Technology
• Structuring telecommunications features
• scientific article; zbMATH DE number 1390340
• Towards a formal foundation of the specification and description language SDL

Cited in

(5)

• Modelling SIP services using CRESS
• Modeling IETF session initiation protocol and its services in SDL
• Structuring telecommunications features
• scientific article; zbMATH DE number 1390340 (Why is no real title available?)
• Algebraic Methodology and Software Technology

This page was built for publication: Formalizing graphical service descriptions using SDL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4450975)