{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:55:11Z","timestamp":1725490511001},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008774"},{"type":"electronic","value":"9783540365730"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36573-7_8","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T23:22:33Z","timestamp":1188775353000},"page":"103-123","source":"Crossref","is-referenced-by-count":0,"title":["Rapid Development of Network Software via SDL\/Socket Interfaces"],"prefix":"10.1007","author":[{"given":"Tae-Hyong","family":"Kim","sequence":"first","affiliation":[]},{"given":"Robert L.","family":"Probert","sequence":"additional","affiliation":[]},{"given":"Igor","family":"Sales","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Williams","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"8_CR1","unstructured":"J. Moy, OSPF: Anatomy of an Internet Routing Protocol. Addison-Wesley Longman, 1998."},{"key":"8_CR2","unstructured":"ITU, Recommendation Z.100, Specification and Description Language (SDL). ITU, Geneva, 1996."},{"key":"8_CR3","unstructured":"J. Ellsberger et al, SDL: Formal Object-Oriented Language for Communicating Systems. Prentice Hall, 1997."},{"key":"8_CR4","unstructured":"Telelogic Inc., Telelogic TAU. See \n                    http:\/\/www.telelogic.com\n                    \n                  ."},{"key":"8_CR5","unstructured":"Telelogic Inc., Telelogic Tau 4.3 User\u2019s Manual. 2001. 9."},{"key":"8_CR6","unstructured":"A. S. Tanenbaum, Modern Operating Systems. Prentice-Hall International, Inc., pp. 39\u201341, 1992."},{"key":"8_CR7","unstructured":"W. R. Stevens, UNIX Network Programming, Vol. 1: Networking APIs: Sockets & XT1. Prentice Hall, 1997."},{"key":"8_CR8","volume-title":"CASE: Using Software Development Tools","author":"A. S. Fisher","year":"1991","unstructured":"A. S. Fisher, CASE: Using Software Development Tools. John Wiley & Sons Canada, Limited, 1991."},{"key":"8_CR9","unstructured":"ISO, Information Processing Systems, Open Systems Interconnection, LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS 8807, Geneva, 1989."},{"key":"8_CR10","unstructured":"S. S. Alhir, UML in a Nutshell, A Desktop Quick Reference. Prentice-Hall International Series in Computer Science, 1996. 7"},{"key":"8_CR11","unstructured":"ITU, Recommendation Z.120, Message Sequence Charts (MSC). ITU, Geneva, 1996."},{"key":"8_CR12","unstructured":"K. G. Knightson, OSI protocol conformance testing: IS 9646 explained. Mc-GrawHill, pp. 89\u2013144, 1993."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"O. Monkewich, I. Sales, and R. L. Probert, OSPF efficient LSA refreshment function in SDL. Proc. of the 10th SDL Forum, pp.300\u2013315, Copenhagen, June 26-29, 2001.","DOI":"10.1007\/3-540-48213-X_19"}],"container-title":["Lecture Notes in Computer Science","Telecommunications and beyond: The BroaderApplicability of SDL and MSC"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36573-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T10:02:53Z","timestamp":1550916173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36573-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008774","9783540365730"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-36573-7_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}