{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:58Z","timestamp":1725662878339},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129257"},{"type":"electronic","value":"9783540388098"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-12925-1_27","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:00:30Z","timestamp":1330192830000},"page":"47-58","source":"Crossref","is-referenced-by-count":1,"title":["Some topics in the design of the specification language lotos"],"prefix":"10.1007","author":[{"given":"V.","family":"Carchiolo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Faro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Minissale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Scollo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"5_CR1","unstructured":"E. Brinksma, An Algebraic Language for the Specification of the Temporal Order of Events in Services and Protocols, Proc. of the European Teleinformatics Conference, Varese, Italy, Oct.3\u20136, 1983, North-Holland (1983) pp. 533\u2013542"},{"key":"5_CR2","unstructured":"M. Broy, P. Pepper, M. Wirsing, On Design Principles for Programming Languages: An Algebraic Approach, in: De Bakker, Van Vliet (eds), Algorithmic Languages, North-Holland (1981)"},{"key":"5_CR3","unstructured":"CCITT, Recommendation X. 200, Reference Model of Open Systems Interconnection for CCITT Applications, Geneva (1983)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"V. Carchiolo, A. Faro, G. Scollo, A Temporal Ordering Specification of some Session Services, ACM SIGCOMM 1984 Symp. on Communications Architectures and Protocols, Montr\u00e9al, June 7\u20138, 1984","DOI":"10.1145\/800056.802067"},{"key":"5_CR5","unstructured":"J.Guttag, Notes on using type abstractions in Functional Programming, in: J.Darlington, P.Henderson and D.A.Turner (eds.), Functional Programming and its Applications, Cambridge University Press (1982) pp. 103\u2013128"},{"issue":"8","key":"5_CR6","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Comm. of the ACM, Vol. 21 N.8 (Aug. 1978) pp. 666\u2013677","journal-title":"Comm. of the ACM"},{"key":"5_CR7","unstructured":"ISO, Information Processing Systems, Open Systems Interconnection, Basic Reference Model, International Standard IS 7498 (1983)"},{"key":"5_CR8","unstructured":"ISO, Information Processing Systems, Open Systems Interconnection, A FDT FDT based on an Extended State Transition Model, Working draft, ISO\/TC97\/SC16\/N1347, July 1983"},{"key":"5_CR9","unstructured":"ISO, Information Processing Systems, Open Systems Interconnection, Draft Tutorial Document, Temporal Ordering Specification Language, ISO\/TC97\/SC16\/WG1\/N 157, August 12, 1983"},{"key":"5_CR10","unstructured":"ISO, Information Processing Systems, Open Systems Interconnection, Basic Connection Oriented Session Service Definition, Draft International Standard DIS8326, October 1983"},{"key":"5_CR11","unstructured":"ISO, Information Processing Systems, Open Systems Interconnection, Connection Oriented Transport Protocol Specification, Draft Proposal DP 8073, April 1983"},{"key":"5_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems, LNCS 92","author":"R. Milner","year":"1980","unstructured":"R. Milner, A Calculus of Communicating Systems, LNCS 92, Springer-Verlag, Berlin (1980)"},{"key":"5_CR13","unstructured":"C.A.Vissers, Architectural Requirements for the Temporal Ordering Specification of Distributed Systems, Proc. of European Teleinformatics Conference, Varese, Italy, Oct. 3\u20136, 1983, North-Holland (1983), pp. 79\u201395"},{"key":"5_CR14","unstructured":"J.H.Williams, Notes on the FP style of Functional Programming, in: J.Darlington, P.Henderson and D.A.Turner (eds.), Functional Programming and its Applications, Cambridge University Press (1982), pp. 73\u2013102"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12925-1_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:06:52Z","timestamp":1605643612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12925-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129257","9783540388098"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-12925-1_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}