{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:21Z","timestamp":1725663381188},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160472"},{"type":"electronic","value":"9783540397311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-16047-7_35","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:34:57Z","timestamp":1330194897000},"page":"55-65","source":"Crossref","is-referenced-by-count":1,"title":["From state machines to temporal logic: Specification methods for protocol standards"],"prefix":"10.1007","author":[{"given":"Richard L.","family":"Schwartz","sequence":"first","affiliation":[]},{"given":"P. Michael","family":"Melliar-Smith","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","unstructured":"ISO TC97\/SC 16\/WG1 Subgroup A on Architecture, \u201cConcepts for describing the OSI architecture.\u201d working draft, Ispra, Nov. 1981."},{"key":"4_CR2","volume-title":"Proc. ICALP 81","author":"D. Lehmann","year":"1981","unstructured":"D. Lehmann, A. Pnueli, and J. Stavi, \u201cImpartiality, justice and fairness: The ethics of concurrent termination,\u201d in Proc. ICALP 81. New York: Springer Verlag, July 1981."},{"key":"4_CR3","series-title":"Tech. Rep.","volume-title":"Verification of concurrent programs, Part I: The temporal framework","author":"Z. Manna","year":"1981","unstructured":"Z. Manna and A. Pnueli, \u201cVerification of concurrent programs, Part I: The temporal framework,\u201d Dep. Comput. Sci., Stanford Univ., Stanford, CA, Tech. Rep. STAN-CS-81-836, June 1981."},{"key":"4_CR4","series-title":"Tech. Rep.","volume-title":"Verifying concurrent processes using temporal logic","author":"B. Hailpem","year":"1980","unstructured":"B. Hailpem, \u201cVerifying concurrent processes using temporal logic,\u201d Comput. Syst. Lab., Stanford Univ., Stanford, CA, Tech. Rep. 195, Aug. 1980."},{"key":"4_CR5","unstructured":"ISO TC97\/SC16\/WG1 Subgroup B on State Machines, \u201cA FDT based on an extended state transition model,\u201d working draft, Boston, MA, Dec. 1981."},{"key":"4_CR6","volume-title":"Semantics of Concurrent Computation","author":"O. Herzog","year":"1979","unstructured":"O. Herzog, \u201cStatic analysis of concurrent processes for dynamic properties using Petri nets,\u201d in Semantics of Concurrent Computation. Evian, France: Springer Verlag, 1979."},{"key":"4_CR7","unstructured":"L. Lamport, \u201cSpecifying concurrent program modules,\u201d Comput. Sci. Lab., SRI Int., June 1981; also TOPLAS, to be published."},{"key":"4_CR8","volume-title":"Event-based temporal logic specification of distributed systems","author":"F. Vogt","year":"1982","unstructured":"F. Vogt, \u201cEvent-based temporal logic specification of distributed systems,\u201d Ph.D. dissertation, Hahn-Meitner Inst., Berlin, Germany, Feb. 1982."},{"key":"4_CR9","volume-title":"Proc. POPL 82","author":"P. Wolper","year":"1982","unstructured":"P. Wolper, \u201cSpecification and synthesis of communicating processes using an extended temporal logic,\u201d in Proc. POPL 82, ACM, Albuquerque, NM, Jan. 1982."},{"key":"4_CR10","unstructured":"S. Schindler, \u201cBasic concepts of formal specification techniques and of RSPL,\u201d Tech. Univ. Berlin, Berlin, Germany, Tech. Rep., May 1980."},{"key":"4_CR11","unstructured":"ISO\/TC97\/SC16\/WG1 Subgroup on Temporal Ordering Expressions, \u201cInteraction primitives in formal specification of distributed systems,\u201d working paper, Washington, DC, Sept. 1981."},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00266047","volume":"12","author":"P. E. Lauer","year":"1979","unstructured":"P. E. Lauer, P. Torrigiani, and M. Shields, \u201cCOSY: A system specification language based on paths and processes,\u201d Acta Inform., vol. 12, pp. 109\u2013158, 1979.","journal-title":"Acta Inform."},{"key":"4_CR13","unstructured":"R. L. Schwartz and P. M. Melliar-Smith, \u201cTemporal logic specification of distributed systems,\u201d in Proc. IEEE Conf. Distributed Syst., Apr. 1981 (revised version available from the authors)."},{"key":"4_CR14","volume-title":"Proc. POPL 1980","author":"L. Lamport","year":"1980","unstructured":"L. Lamport, \u201cSometime is sometimes not never,\u201d in Proc. POPL 1980, ACM, Las Vegas, NV, Jan. 1980."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"B. Berthomieu, \u201cAlgebraic specification of communication protocols,\u201d Inform. Sci. Inst., Univ. Southern California. Los Angeles. Tech. Rep. RR-81-98, Dec. 1981.","DOI":"10.21236\/ADA111744"},{"key":"4_CR16","unstructured":"S. Gerhart et al., \u201cAn overview of AFFIRM: A specification and verification system,\u201d in Proc. IFIP Congress 80, Oct. 1980."},{"key":"4_CR17","volume-title":"Proc. 6th Conf. Automated Deduction","author":"R. E. Shostak","year":"1982","unstructured":"R. E. Shostak, R. L. Schwartz, and P. M. Melliar-Smith, \u201cSTP: A mechanized logic for specification and verification,\u201d in Proc. 6th Conf. Automated Deduction (Lecture Notes in Computer Science, vol. 138). New York: Springer Verlag, June 1982."}],"container-title":["Lecture Notes in Computer Science","The Analysis of Concurrent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16047-7_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:42Z","timestamp":1605643782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16047-7_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160472","9783540397311"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-16047-7_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}