{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T09:29:23Z","timestamp":1775899763024,"version":"3.50.1"},"reference-count":19,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"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 Languages"],"published-print":{"date-parts":[[1979,1]]},"DOI":"10.1016\/0096-0551(79)90008-0","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:11:16Z","timestamp":1060297876000},"page":"29-47","source":"Crossref","is-referenced-by-count":19,"title":["An approach to software system behavior description"],"prefix":"10.1016","volume":"4","author":[{"given":"William E.","family":"Riddle","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(79)90008-0_BIB1","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0096-0551(79)90009-2","article-title":"An approach to software system modelling and analysis","volume":"4","author":"Riddle","year":"1979","journal-title":"Computer Languages"},{"key":"10.1016\/0096-0551(79)90008-0_BIB2","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/321312.321326","article-title":"Two complete axiom schemes for the algebra of regular events","volume":"13","author":"Salomma","year":"1966","journal-title":"J. Ass. comput. Mach."},{"key":"10.1016\/0096-0551(79)90008-0_BIB3","unstructured":"D. N. Arden, Delayed logic and finite state machines, in Theory of Computing Machine Design, pp. 1\u201335. University of Michigan Press, Ann Arbor, Mich."},{"key":"10.1016\/0096-0551(79)90008-0_BIB4","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/BF00288684","article-title":"A comparison of two synchronization concepts","volume":"1","author":"Brinch Hansen","year":"1972","journal-title":"Acta Informatica"},{"key":"10.1016\/0096-0551(79)90008-0_BIB5","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1145\/365559.365617","article-title":"Solution of a problem in concurrent programming control","volume":"8","author":"Dijkstra","year":"1965","journal-title":"Comm. ACM"},{"key":"10.1016\/0096-0551(79)90008-0_BIB6","series-title":"Programming Languages","first-page":"43","article-title":"Cooperating sequential processes","author":"Dijkstra","year":"1968"},{"key":"10.1016\/0096-0551(79)90008-0_BIB7","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1145\/355598.362740","article-title":"A formalism for translator interactions","volume":"13","author":"Early","year":"1970","journal-title":"Comm. ACM"},{"key":"10.1016\/0096-0551(79)90008-0_BIB8","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1145\/361405.361409","article-title":"Interference between communicating sequential processes","volume":"15","author":"Gilbert","year":"1972","journal-title":"Comm. ACM"},{"key":"10.1016\/0096-0551(79)90008-0_BIB9","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/361268.361277","article-title":"Synchronization of communicating processes","volume":"15","author":"Habermann","year":"1972","journal-title":"Comm. ACM"},{"key":"10.1016\/0096-0551(79)90008-0_BIB10","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1978.231501","article-title":"Software descriptions with flow expressions","volume":"SE-4","author":"Shaw","year":"1978","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10.1016\/0096-0551(79)90008-0_BIB11","article-title":"The specification of process synchronization by path expressions","volume":"Vol. 16","author":"Campbell","year":"1974"},{"key":"10.1016\/0096-0551(79)90008-0_BIB12","series-title":"Path Expressions","author":"Habermann","year":"1975"},{"key":"10.1016\/0096-0551(79)90008-0_BIB13","article-title":"The Translation of Path Expressions into Message Transfer Expressions","author":"Riddle","year":"1974"},{"key":"10.1016\/0096-0551(79)90008-0_BIB14","series-title":"IFIP Working Conf. on Command Languages","article-title":"Command language processing in formally described operating systems","author":"Bredt","year":"1974"},{"key":"10.1016\/0096-0551(79)90008-0_BIB15","series-title":"The Mathematical Theory of Context-Free Languages","author":"Ginsberg","year":"1966"},{"key":"10.1016\/0096-0551(79)90008-0_BIB16","article-title":"Counter Expressions","author":"Welter","year":"1976"},{"key":"10.1016\/0096-0551(79)90008-0_BIB17","article-title":"Computation-Universality of Message Transfer Expressions","author":"Rounds","year":"1976"},{"key":"10.1016\/0096-0551(79)90008-0_BIB18","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/355592.365646","article-title":"Flow diagrams, Turing machines and languages with only two formation rules","volume":"9","author":"Bohm","year":"1966","journal-title":"Comm. ACM"},{"key":"10.1016\/0096-0551(79)90008-0_BIB19","article-title":"Behavior Specification in a Software Design System","author":"Wileden","year":"1978"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055179900080?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055179900080?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T09:20:34Z","timestamp":1552641634000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055179900080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,1]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1979,1]]}},"alternative-id":["0096055179900080"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(79)90008-0","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1979,1]]}}}