{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T17:05:07Z","timestamp":1649091907417},"reference-count":24,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[2001,7,1]],"date-time":"2001-07-01T00:00:00Z","timestamp":993945600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks"],"published-print":{"date-parts":[[2001,7]]},"DOI":"10.1016\/s1389-1286(01)00157-8","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T14:29:16Z","timestamp":1034605756000},"page":"291-310","source":"Crossref","is-referenced-by-count":4,"title":["A compiler to implement LOTOS specifications in distributed environments"],"prefix":"10.1016","volume":"36","author":[{"given":"Keiichi","family":"Yasumoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teruo","family":"Higashino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenichi","family":"Taniguchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/S1389-1286(01)00157-8_BIB1","first-page":"296","article-title":"An implementation of portable lightweight process mechanism under BSD UNIX","volume":"36","author":"Abe","year":"1995","journal-title":"Journal of Information Processing Society of Japan"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB2","unstructured":"G.V. Bochmann, Q. Gao, C. Wu, On the distributed implementation of LOTOS, in: Proceedings of the Second International Conference on Formal Description Techniques, 1989, pp. 133\u2013146"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB3","doi-asserted-by":"crossref","unstructured":"Z. Cheng, T. Huang, N. Shiratori, A new distributed algorithm for implementation of LOTOS multi-rendezvous, in: Proceedings of the Seventh International Conference on Formal Description Techniques (FORTE'94), 1994, pp. 493\u2013504","DOI":"10.1007\/978-0-387-34878-0_41"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB4","unstructured":"E. Dubuis, An algorithm for translating LOTOS behavior expressions into automata and ports, in: Proceedings of the Second Formal Description Techniques (FORTE'89), 1990, pp. 163\u2013177"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB5","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, in: EATCS Monographs on Theoretical Computer Science, vol. 6, Springer, Berlin, 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB6","unstructured":"D. Gilbert, Executable LOTOS: using PARLOG to implement an FDT, in: Proceedings of the Seventh Protocol Specification, Testing and Verification (PSTV-VII), 1987, pp. 281\u2013294"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB7","doi-asserted-by":"crossref","unstructured":"T. Higashino, K. Taniguchi, A system for the refinements of algebraic specifications and their efficient executions, in: Proceedings of the 24th Hawaii International Conference on System Sciences (HICCS-24), vol. II, 1991, pp. 186\u2013195","DOI":"10.1109\/HICSS.1991.183979"},{"issue":"3","key":"10.1016\/S1389-1286(01)00157-8_BIB8","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0167-6423(86)90012-2","article-title":"Compiling and optimizing methods for the functional language ASL\/F","volume":"7","author":"Inoue","year":"1986","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB9","unstructured":"ISO : LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO 8807, 1989"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB10","unstructured":"ISO\/IEC\/TR 10167: Information Technology \u2013 Open Systems Interconnection \u2013 Guidelines for the Application of Estelle, LOTOS and SDL, 1991"},{"issue":"1","key":"10.1016\/S1389-1286(01)00157-8_BIB11","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s004460050022","article-title":"Deriving protocol specifications from service specifications written in LOTOS","volume":"10","author":"Kant","year":"1996","journal-title":"Distributed Computing"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB12","doi-asserted-by":"crossref","unstructured":"L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM 21 (7) (1978)","DOI":"10.1145\/359545.359563"},{"issue":"5","key":"10.1016\/S1389-1286(01)00157-8_BIB13","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/0169-7552(92)90011-E","article-title":"An introduction to LOTOS: learning by examples","volume":"23","author":"Logrippo","year":"1992","journal-title":"Computer Networks and ISDN Systems"},{"issue":"3","key":"10.1016\/S1389-1286(01)00157-8_BIB14","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1109\/71.80156","article-title":"A fault tolerant protocol for atomic broadcast","volume":"1","author":"Luan","year":"1990","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB15","unstructured":"J.A. Manas, J. Salvachia, \u039b\u03b2: a Virtual LOTOS Machine, in: Proceedings of the Fourth Formal Description Techniques (FORTE'91), 1991, pp. 445\u2013460"},{"issue":"1","key":"10.1016\/S1389-1286(01)00157-8_BIB16","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/71.80121","article-title":"Broadcast protocols for distributed systems","volume":"1","author":"Melliar","year":"1990","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB17","doi-asserted-by":"crossref","unstructured":"K. Naik, Distributed implementation of multi-rendezvous in LOTOS using the orthogonal communication structure in Linda, in: Proceedings of the 15th International Conference on Distributed Computing Systems (ICDCS'95), 1995, pp. 518\u2013525","DOI":"10.1109\/ICDCS.1995.500058"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB18","unstructured":"S. Nomura, T. Hasegawa, T. Takizuka, A LOTOS compiler and process synchronization manager, in: Proceedings of the 10th International Symposium on Protocol Specification, Testing, and Verification (PSTV-X), 1990, pp. 169\u2013182"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB19","doi-asserted-by":"crossref","unstructured":"Y. Terashima, K. Yasumoto, T. Higashino, K. Abe, T. Matsuura, K. Taniguchi, Integration of QoS guarantees into SMIL and its flexible implementation, in: Proceedings of the Eighth IFIP\/IEEE International Workshop on Quality of Service (IWQoS2000), 2000, pp. 164\u2013166","DOI":"10.1109\/IWQOS.2000.847949"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB20","unstructured":"P. Van Eijk, H. Kremer, M. Van Sinderen, On the use of specification styles for automated protocol implementation from LOTOS to C, in: Proceedings of the 10th Protocol Specification, Testing and Verification (PSTV-X), 1990, pp. 157\u2013168"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB21","unstructured":"C.A. Vissers, G. Scollo, M.V. Sinderen, Architecture and specification style in formal descriptions of distributed systems, in: Proceedings of the Eighth International Symposium on Protocol Specification, Testing, and Verification (PSTV-VIII), 1988, pp. 189\u2013204"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB22","doi-asserted-by":"crossref","unstructured":"K. Yasumoto, T. Higashino, K. Abe, T. Matsuura, K. Taniguchi, A LOTOS compiler generating multi-threaded object codes, in: Proceedings of the Eighth Formal Description Techniques (FORTE'95), 1995, pp. 271\u2013286","DOI":"10.1007\/978-0-387-34945-9_19"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB23","doi-asserted-by":"crossref","unstructured":"K. Yasumoto, T. Higashino, T. Matsuura, K. Taniguchi, Protocol visualization using LOTOS multi-rendezvous mechanism, in: Proceedings of IEEE 1995 International Conference on Network Protocols (ICNP-95), 1995, pp. 118\u2013125","DOI":"10.1109\/ICNP.1995.524826"},{"key":"10.1016\/S1389-1286(01)00157-8_BIB24","doi-asserted-by":"crossref","unstructured":"K. Yasumoto, K. Gotoh, H. Tatsumoto, T. Higashino, K. Taniguchi, Implementation of distributed systems described with LOTOS multi-rendezvous on bus topology networks, in: Proceedings of the Joint International Conference on 10th Formal Description Techniques and 17th Protocol Specification, Testing and Verification (FORTE\/PSTV'97), 1997, pp. 161\u2013176","DOI":"10.1007\/978-0-387-35271-8_10"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128601001578?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128601001578?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T18:26:27Z","timestamp":1580235987000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128601001578"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,7]]},"references-count":24,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2001,7]]}},"alternative-id":["S1389128601001578"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(01)00157-8","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2001,7]]}}}