{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T00:40:03Z","timestamp":1736642403524,"version":"3.32.0"},"reference-count":29,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":5781,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1991,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>LANSF is a software package that was originally designed as a tool to investigate the behaviour of medium access control (MAC) level protocols. These protocols form an interesting class of distributed computations: timing of events is the key factor in them. The protocol definition language of LANSF is based on C, and protocols are specified (programmed) as collections of communicating, interrupt\u2010driven processes. These specifications are executable: an event\u2010driven emulator of MAC\u2010level communication phenomena forms the foundation of the implementation. Some tools for debugging, testing, and validation of protocol specifications are provided. We present key features of LANSF at the syntactic level, comment informally on the semantics of these features, and highlight some implementation issues. A complete example of a LANSF application is discussed in the Appendix.<\/jats:p>","DOI":"10.1002\/spe.4380210105","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T01:05:30Z","timestamp":1163811930000},"page":"51-76","source":"Crossref","is-referenced-by-count":15,"title":["LANSF: A protocol modelling environment and its implementation"],"prefix":"10.1002","volume":"21","author":[{"given":"Pawe\u0142","family":"Gburzy\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Rudnicki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"crossref","unstructured":"W.DobosiewiczandP.Gburzy\u0144ski \u2018Ethernet with segmented carrier\u2019 Proceedings of IEEE Computer Networking Symposium Washington DC April1988 pp.72\u201378.","DOI":"10.1109\/CNS.1988.4979"},{"key":"e_1_2_1_3_2","unstructured":"W.DobosiewiczandP.Gburzy\u0144ski \u2018Improving fairness in CSMA\/CD networks\u2019 Proceedings of IEEE SICON'89 Singapore July1989."},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","DOI":"10.1109\/INFCOM.1990.91255","article-title":"An Ethernet\u2010like CSMA\/CD protocol for high speed bus LANs","author":"Dobosiewicz W.","year":"1990","journal-title":"IEEE INFOCOM'90"},{"key":"e_1_2_1_5_2","unstructured":"W.Dobosiewicz P.Gburzy\u0144skiandP.Rudnicki \u2018On two collision protocols for high speed bus LANs\u2019 Computer Networks and ISDN Systems 1990(submitted)."},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","unstructured":"J. F.Schoch Y.Dala D. D.RedellandR. C.Crane \u2018Evolution of the Ethernet local computer network\u2019.IEEE Computer August1982 pp.10\u201327.","DOI":"10.1109\/MC.1982.1654107"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/49.16875"},{"key":"e_1_2_1_8_2","first-page":"110","volume-title":"Symposium on the Simulation of Computer Networks","author":"Gburzy\u0144ski P.","year":"1987"},{"key":"e_1_2_1_9_2","first-page":"280","volume-title":"Proceedings of CIPS Edmonton '87","author":"Gburzy\u0144ski P.","year":"1987"},{"key":"e_1_2_1_10_2","first-page":"183","article-title":"A virtual token protocol for bus networks: correctness and performance","volume":"27","author":"Gburzy\u0144ski P.","year":"1989","journal-title":"INFOR"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/26.2809"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1985.1676520"},{"volume-title":"TR 89\u201319, The University of Alberta","year":"1989","author":"Gburzy\u0144ski P.","key":"e_1_2_1_13_2"},{"key":"e_1_2_1_14_2","doi-asserted-by":"crossref","unstructured":"HerbSchwetman \u2018Using CSIM to model complex systems\u2019 Aca\u2010st\u2010154\u201388 MCC Austin TX 1988.","DOI":"10.1145\/318123.318197"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90084-5"},{"key":"e_1_2_1_17_2","unstructured":"\u2018User guide for the NBS prototype compiler for Estelle\u2019 Report No. ICSTISNA\u201087I3 U.S. Dept. of Commerce National Bureau of Standards October 1987."},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180406"},{"key":"e_1_2_1_19_2","doi-asserted-by":"crossref","unstructured":"P.Gburzy\u0144skiandP.Rudnicki \u2018On formal modelling of communication channels\u2019 IEEE INFOC\u2010OM'89 1989 pp.143\u2013151.","DOI":"10.1109\/INFCOM.1989.101447"},{"key":"e_1_2_1_20_2","first-page":"1","volume-title":"Local Area & Multiple Access Networks","author":"Stallings W.","year":"1986"},{"key":"e_1_2_1_21_2","unstructured":"J. M.Ayache P.Az\u00e9maandM.Diaz \u2018Observer: a concept for on\u2010line detection of control errors in concurrent systems\u2019 Proceedings of the 9th Symposium on Fault\u2010Tolerant Computing Madison WI June1979 pp.1\u20138."},{"key":"e_1_2_1_22_2","unstructured":"R.Groz \u2018Unrestricted verification of protocol properties on a simulation using an observer approach\u2019 Proceedings of the IFIP WG 6.1 6th Workshop on Protocol Specification Testing and Verification North\u2010Holland June1986 pp.255\u2013266."},{"key":"e_1_2_1_23_2","unstructured":"M.Berard P.Gburzy\u0144skiandP.Rudnicki \u2018Validating protocol implementation properties with LANSF observers\u2019 IFIP Tenth International Symposium on Protocol Specification Testing and Verification 1990(submitted)."},{"volume-title":"Computer Networks","year":"1981","author":"Tanenbaum A. S.","key":"e_1_2_1_24_2"},{"key":"e_1_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/26.47844"},{"key":"e_1_2_1_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1979.1056093"},{"key":"e_1_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"e_1_2_1_28_2","first-page":"35","volume-title":"Programming of Future Generation Computers","author":"Berry G.","year":"1988"},{"key":"e_1_2_1_29_2","unstructured":"L.Fratta F.BorgonovoandF. A.Tobagi \u2018The Express\u2010net: a local area communication network integrating voice and data\u2019 Proceedings of International Conference on Performance of Data Communication Systems and Applications Paris France September1981."},{"key":"e_1_2_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.1983.1145995"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380210105","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380210105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T00:02:25Z","timestamp":1736640145000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380210105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["10.1002\/spe.4380210105"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380210105","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"type":"print","value":"0038-0644"},{"type":"electronic","value":"1097-024X"}],"subject":[],"published":{"date-parts":[[1991,1]]}}}