{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:18Z","timestamp":1749221298514},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540541314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019364","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:26:33Z","timestamp":1132637193000},"page":"433-477","source":"Crossref","is-referenced-by-count":4,"title":["Aggregate approach for specification, validation, simulation and implementation of computer network protocols"],"prefix":"10.1007","author":[{"given":"Henrikas","family":"Pranevitchius","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Boch84 G.v.Bochmann, G.Gerber, J.M.Serre. Semiautomatic implementation of communication protocols \/\/Publication 518. \u2014 Department d'informatique de recherche operationelle Universite de Montreal. \u2014 December 1984."},{"key":"12_CR2","unstructured":"Boch87 G.v.Bochmann, \"Usage of protocol development tools: the results of a survey\" (invited paper), 7-th IFIP Symposium on Protocol Specification, Testing and Verification, Zurich, May, 1987."},{"key":"12_CR3","unstructured":"Este87 ISO DIS 9074 (1987), \"Estelle: A formal description technique based on an extened state transition model\"."},{"key":"12_CR4","unstructured":"Loto87 ISO DIS 8807 (1987), \"LOTOS: A formal description technique\"."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Mil80 R.Milner, A calculus of communicating systems, Lecture Notes in Computer Science, Vol. 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"12_CR6","unstructured":"Pran82a H.Pranevitchius, \" Models and methods for computer system investigation \", Mokslas, Vilnius, 1982, 228p., (in Russian)."},{"key":"12_CR7","unstructured":"Pran82b H.Pranevitchius and N.Listopadskis, \"Aggregative approach application for formal specification and modeling of protocols\", Acad. Sci. USSR, Moscow, 1982, 63p., (in Russian)."},{"key":"12_CR8","volume-title":"Correctness analysis and performance predication of protocols using aggregative approach and control sequences method","author":"H. Pranevitchius","year":"1983","unstructured":"Pran83 H. Pranevitchius\u22a5 and A. Chmieliauskas, \"Correctness analysis and performance predication of protocols using aggregative approach and control sequences method\", Acad. Sci. USSR, Moscow, 1983, 32p., (in Russian)."},{"key":"12_CR9","first-page":"209","volume-title":"Protocol simulation and verification in PRANAS","author":"H. Pranevitchius","year":"1985","unstructured":"Pran85 H. Pranevitchius, A. Chmieliauskas\u22a5 V. Pilkauskas, \"Protocol simulation and verification in PRANAS\", Packet Switching Networks, ESTI, Riga, 1985, p.209\u2013231, (in Russian)."},{"key":"12_CR10","unstructured":"Pran87 H.Pranevitchius and A.Chmieliauskas. ASPECT-language for specification services and protocols. XII-th cconference of computer networks. Moscow \u2014 Odesa, 1987, p.76\u201381. (in Russian)."},{"key":"12_CR11","unstructured":"Pran88 H.Pranevitchius and A.Panevezys, \"Proof of correctness technique for aggregative models of protocols\", IFAC\/IMAC Symp. on distributed intelligence systems, Varna, 1988, p.100\u2013105."},{"key":"12_CR12","first-page":"17","volume-title":"Automated implementation of protocols in terms of aggregative specifications","author":"H. Pranevitchius","year":"1989","unstructured":"Pran89 H. Pranevitchius and A. Panevezys, \" Automated implementation of protocols in terms of aggregative specifications \", Automatic and Computer Technic, Riga, 1989, p. 17\u201322, (in Russian)."},{"key":"12_CR13","unstructured":"SDL87 CCITT S6 XI, Recomendation Z.100 (1987)."}],"container-title":["Lecture Notes in Computer Science","Baltic Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019364.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:42:17Z","timestamp":1607550137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019364"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540541314"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0019364","relation":{},"subject":[]}}