{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T07:41:24Z","timestamp":1697960484728},"reference-count":19,"publisher":"Wiley","issue":"10","license":[{"start":{"date-parts":[[2007,9,5]],"date-time":"2007-09-05T00:00:00Z","timestamp":1188950400000},"content-version":"vor","delay-in-days":7187,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp; Computers in Japan"],"published-print":{"date-parts":[[1988,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A new algebraic model is proposed for operational behavior of parallel systems and present syntax and formal semantics of a specification language based on it are presented. In our model, a parallel system is considered to generate events which we consider as primitive operations of the system, not only in a sequence, but also in parallel. To characterize a history of operational behavior formally, we introduce three types of binary relations between events: timing relation, causality relation; and value relation. The history of operational behavior is considered as a set of events which these three relations are given. In a specification of parallel systems, the characteristics are specified which it should satisfy in its history of operational behavior and they are described in a first\u2010order predicate logic by using the three binary relations. These descriptions can be considered as axioms on the relations. Formal semantics of the specification becomes a maximal set of events which can be deduced from the axioms given as specification and initial value and input patterns of the system. This is proved to be a fix point of the deduction step.<\/jats:p>","DOI":"10.1002\/scj.4690191002","type":"journal-article","created":{"date-parts":[[2009,11,19]],"date-time":"2009-11-19T20:43:10Z","timestamp":1258663390000},"page":"8-21","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic Specification of Parallel Systems Based on Binary Relations between Events"],"prefix":"10.1002","volume":"19","author":[{"given":"Shigeharu","family":"Teshima","sequence":"first","affiliation":[]},{"given":"Hiromi","family":"Hiraishi","sequence":"additional","affiliation":[]},{"given":"Shuzo","family":"Yajima","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2007,9,5]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Software Engineering: A Practitioner's Approach","author":"Pressman R.","year":"1982"},{"key":"e_1_2_1_3_2","volume-title":"Formal Specifications & Software Development","author":"Bjoner D.","year":"1982"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_5_2","unstructured":"C.Hewitt Laws for Communicating Parallel Processes Proc. IFIP Congress Toronto (1977)."},{"key":"e_1_2_1_6_2","unstructured":"U.S. Department of Defense. Reference manual for the Ada programming language Honeywell and Alsys (1983)."},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/359605.359618"},{"key":"e_1_2_1_8_2","unstructured":"J.A.Goguen J.W.ThatcherandE.G.Wagner Initial algebra approach to the specification correctness and implementation of abstract data types IBM Research Report RC\u20106487 (1976)."},{"issue":"1","key":"e_1_2_1_9_2","first-page":"47","article-title":"Many sorted algebra and equality logic","volume":"25","author":"Inagaki","year":"1984","journal-title":"Information Processing of Japan"},{"issue":"5","key":"e_1_2_1_10_2","first-page":"491","article-title":"Abstract data type","volume":"25","author":"Inagaki","year":"1984","journal-title":"Information Processing of Japan"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7"},{"key":"e_1_2_1_12_2","volume-title":"Logic and Semantics","author":"Nagao","year":"1983"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-091728-3.50014-X"},{"key":"e_1_2_1_14_2","unstructured":"D.Scott Outline of a mathematical theory of computation Tech. Mono. PRG\u20102 Oxford Univ. Comp. Lab. (1970)."},{"key":"e_1_2_1_15_2","volume-title":"Introduction to Mathematical Information Science","author":"Nakajima R.","year":"1982"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3149.3155"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90017-8"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_2_1_20_2","unstructured":"J.Halpern Z.MannaandB.Moszkowski A hardware semantics based on temporal intervals Stanford Univ. Report STAN\u2013CS\u201383\u2013963 (1983)."}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690191002","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690191002","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690191002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T18:09:19Z","timestamp":1697911759000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690191002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,1]]},"references-count":19,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1988,1]]}},"alternative-id":["10.1002\/scj.4690191002"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690191002","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,1]]}}}