{"id":23281,"date":"2023-03-28T03:31:42","date_gmt":"2023-03-28T03:31:42","guid":{"rendered":"https:\/\/www.booksofall.com\/ja\/?post_type=product&#038;p=23281"},"modified":"2023-03-28T03:31:42","modified_gmt":"2023-03-28T03:31:42","slug":"communicating-sequential-processes","status":"publish","type":"product","link":"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/","title":{"rendered":"Communicating Sequential Processes"},"content":{"rendered":"<h2>Processes 1<\/h2>\n<h3>1.1 Introduction<\/h3>\n<p>Forget for a while about computers and computer programming, and think instead about objects in the world around us, which act and interact with us and with each other in accordance with some characteristic pattern of behaviour. Think of clocks and counters and telephones and board games and vending machines. To describe their <a href=\"https:\/\/en.wikipedia.org\/wiki\/Behavioral_pattern\">patterns of behaviour<\/a>, first decide what kinds of event or action will be of interest; and choose a different name for each kind. In the case of a simple vending machine, there are two kinds of event:<\/p>\n<p><i>coin<\/i>\u2014the insertion of a coin in the slot of a <a href=\"https:\/\/online.visual-paradigm.com\/diagrams\/templates\/flowchart\/vending-machine\/\">vending machine<\/a>;<br \/>\n<i>choc<\/i>\u2014the extraction of a chocolate from the dispenser of the machine.<\/p>\n<p>In the case of a more complex vending machine, there may be a greater variety of events:<\/p>\n<p><i>in1p<\/i>\u2014the insertion of one <a href=\"https:\/\/en.wikipedia.org\/wiki\/Penny\">penny<\/a>;<br \/>\n<i>in2p<\/i>\u2014the insertion of a two penny coin;<br \/>\n<i>small<\/i>\u2014the extraction of a small biscuit or cookie;<br \/>\n<i>large<\/i>\u2014the extraction of a large biscuit or cookie;<br \/>\n<i>out1p<\/i>\u2014the extraction of one penny in change.<\/p>\n<p>Note that each event name denotes an event\u00a0<i>class<\/i>; there may be many occurrences of events in a single class, separated in time. A similar distinction between a class and an occurrence should be made in the case of the letter \u2018h\u2019, of which there are many occurrences spatially separated in the text of this book.<\/p>\n<p>The set of names of events which are considered relevant for a particular description of an object is called its\u00a0<i>alphabet<\/i>. The alphabet is a permanent predefined property of an object. It is logically impossible for an object to engage in an event outside its alphabet; for example, a machine designed to sell chocolates could not suddenly deliver a toy battleship. But the converse does not hold. A machine designed to sell chocolates may actually never do so\u2014perhaps because it has not been filled, or it is broken, or nobody wants chocolates. But once it is decided that\u00a0<i>choc\u00a0<\/i>is in the alphabet of the machine, it remains so, even if that event never actually occurs.<\/p>\n<p>The choice of an alphabet usually involves a deliberate simplification, a decision to ignore many other properties and actions which are considered to be of lesser interest. For example, the colour, weight, and shape of a vending machine are not described, and certain very necessary events in its life, such as replenishing the stack of chocolates or emptying the coin box, are deliberately ignored\u2014perhaps on the grounds that they are not (or should not be) of any concern to the customers of the machine.<\/p>\n<p>The actual occurrence of each event in the life of an object should be regarded as an instantaneous or an atomic action without duration. Extended or time-consuming actions should be represented by a pair of events, the first denoting its start and the second denoting its finish. The duration of an action is represented by the interval between the occurrence of its start event and the occurrence of its finish event; during such an interval, other events may occur. Two extended actions may overlap in time if the start of each one precedes the finish of the other.<\/p>\n<p>Another detail which we have deliberately chosen to ignore is the exact timing of occurrences of events. The advantage of this is that designs and reasoning about them are simplified, and furthermore can be applied to physical and computing systems of any speed and performance. In cases where timing of responses is critical, these concerns can be treated independently of the logical correctness of the design. Independence of timing has always been a necessary condition to the success of <a href=\"https:\/\/www.bbc.co.uk\/bitesize\/guides\/z4cck2p\/revision\/1\">high-level programming languages<\/a>.<\/p>\n<p>A consequence of ignoring time is that we refuse to answer or even to ask whether one event occurs simultaneously with another. When simultaneity of a pair of events is important (e.g. in <a href=\"https:\/\/en.wikipedia.org\/wiki\/Synchronization\">synchronisation<\/a>) we represent it as a single- event occurrence; and when it is not, we allow two potentially simultaneous event occurrences to be recorded in either order.<\/p>\n<p>In choosing an alphabet, there is no need to make a distinction between events which are initiated by the object (perhaps\u00a0<i>choc<\/i>) and those which are initiated by some agent outside the object (for example,\u00a0<i>coin<\/i>). The avoidance of the concept of causality leads to considerable simplification in the theory and its application.<\/p>\n","protected":false},"excerpt":{"rendered":"<p><iframe style=\"width: 100%; height: 750px; border: none;\" src=\"https:\/\/online.visual-paradigm.com\/share\/book\/communicating-sequential-processes-1axl4516ie?p=1\" frameborder=\"0\" allowfullscreen=\"allowfullscreen\"><\/iframe><\/p>\n","protected":false},"featured_media":23285,"template":"","meta":{"_yoast_wpseo_title":"","_yoast_wpseo_metadesc":"Communicating sequential processes is a paradigm for concurrency that models systems as communicating processes. Learn more in this book now!"},"product_brand":[],"product_cat":[374],"product_tag":[],"class_list":{"0":"post-23281","1":"product","2":"type-product","3":"status-publish","4":"has-post-thumbnail","6":"product_cat-misc","8":"first","9":"instock","10":"shipping-taxable","11":"product-type-simple"},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.1.1 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Communicating Sequential Processes - BooksOfAll Japanese<\/title>\n<meta name=\"description\" content=\"Communicating sequential processes is a paradigm for concurrency that models systems as communicating processes. Learn more in this book now!\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/\" \/>\n<meta property=\"og:locale\" content=\"ja_JP\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Communicating Sequential Processes - BooksOfAll Japanese\" \/>\n<meta property=\"og:description\" content=\"Communicating sequential processes is a paradigm for concurrency that models systems as communicating processes. Learn more in this book now!\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/\" \/>\n<meta property=\"og:site_name\" content=\"BooksOfAll Japanese\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2023\/03\/Communicating-Sequential-Processes.jpg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:image\" content=\"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2023\/03\/Communicating-Sequential-Processes.jpg\" \/>\n<meta name=\"twitter:label1\" content=\"\u63a8\u5b9a\u8aad\u307f\u53d6\u308a\u6642\u9593\" \/>\n\t<meta name=\"twitter:data1\" content=\"4\u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/\",\"url\":\"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/\",\"name\":\"Communicating Sequential Processes - BooksOfAll Japanese\",\"isPartOf\":{\"@id\":\"https:\/\/www.booksofall.com\/ja\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2023\/03\/Communicating-Sequential-Processes.jpg\",\"datePublished\":\"2023-03-28T03:31:42+00:00\",\"description\":\"Communicating sequential processes is a paradigm for concurrency that models systems as communicating processes. Learn more in this book now!\",\"breadcrumb\":{\"@id\":\"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/#breadcrumb\"},\"inLanguage\":\"ja\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"ja\",\"@id\":\"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/#primaryimage\",\"url\":\"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2023\/03\/Communicating-Sequential-Processes.jpg\",\"contentUrl\":\"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2023\/03\/Communicating-Sequential-Processes.jpg\",\"width\":\"827\",\"height\":\"1169\",\"caption\":\"Communicating Sequential Processes\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.booksofall.com\/ja\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Categories\",\"item\":\"https:\/\/www.booksofall.com\/ja\/categories\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Communicating Sequential Processes\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.booksofall.com\/ja\/#website\",\"url\":\"https:\/\/www.booksofall.com\/ja\/\",\"name\":\"BooksOfAll Japanese\",\"description\":\"Biggest IT eBooks library and learning resources - Free eBooks for programming, computing, artificial intelligence and more.\",\"publisher\":{\"@id\":\"https:\/\/www.booksofall.com\/ja\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.booksofall.com\/ja\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"ja\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.booksofall.com\/ja\/#organization\",\"name\":\"BooksOfAll Japanese\",\"url\":\"https:\/\/www.booksofall.com\/ja\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"ja\",\"@id\":\"https:\/\/www.booksofall.com\/ja\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2022\/06\/booksofall-logo-2.png\",\"contentUrl\":\"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2022\/06\/booksofall-logo-2.png\",\"width\":166,\"height\":30,\"caption\":\"BooksOfAll Japanese\"},\"image\":{\"@id\":\"https:\/\/www.booksofall.com\/ja\/#\/schema\/logo\/image\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Communicating Sequential Processes - BooksOfAll Japanese","description":"Communicating sequential processes is a paradigm for concurrency that models systems as communicating processes. Learn more in this book now!","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/","og_locale":"ja_JP","og_type":"article","og_title":"Communicating Sequential Processes - BooksOfAll Japanese","og_description":"Communicating sequential processes is a paradigm for concurrency that models systems as communicating processes. Learn more in this book now!","og_url":"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/","og_site_name":"BooksOfAll Japanese","og_image":[{"url":"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2023\/03\/Communicating-Sequential-Processes.jpg","type":"","width":"","height":""}],"twitter_card":"summary_large_image","twitter_image":"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2023\/03\/Communicating-Sequential-Processes.jpg","twitter_misc":{"\u63a8\u5b9a\u8aad\u307f\u53d6\u308a\u6642\u9593":"4\u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/","url":"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/","name":"Communicating Sequential Processes - BooksOfAll Japanese","isPartOf":{"@id":"https:\/\/www.booksofall.com\/ja\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/#primaryimage"},"image":{"@id":"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/#primaryimage"},"thumbnailUrl":"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2023\/03\/Communicating-Sequential-Processes.jpg","datePublished":"2023-03-28T03:31:42+00:00","description":"Communicating sequential processes is a paradigm for concurrency that models systems as communicating processes. Learn more in this book now!","breadcrumb":{"@id":"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/#breadcrumb"},"inLanguage":"ja","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/"]}]},{"@type":"ImageObject","inLanguage":"ja","@id":"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/#primaryimage","url":"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2023\/03\/Communicating-Sequential-Processes.jpg","contentUrl":"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2023\/03\/Communicating-Sequential-Processes.jpg","width":"827","height":"1169","caption":"Communicating Sequential Processes"},{"@type":"BreadcrumbList","@id":"https:\/\/www.booksofall.com\/ja\/communicating-sequential-processes\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.booksofall.com\/ja\/"},{"@type":"ListItem","position":2,"name":"Categories","item":"https:\/\/www.booksofall.com\/ja\/categories\/"},{"@type":"ListItem","position":3,"name":"Communicating Sequential Processes"}]},{"@type":"WebSite","@id":"https:\/\/www.booksofall.com\/ja\/#website","url":"https:\/\/www.booksofall.com\/ja\/","name":"BooksOfAll Japanese","description":"Biggest IT eBooks library and learning resources - Free eBooks for programming, computing, artificial intelligence and more.","publisher":{"@id":"https:\/\/www.booksofall.com\/ja\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.booksofall.com\/ja\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"ja"},{"@type":"Organization","@id":"https:\/\/www.booksofall.com\/ja\/#organization","name":"BooksOfAll Japanese","url":"https:\/\/www.booksofall.com\/ja\/","logo":{"@type":"ImageObject","inLanguage":"ja","@id":"https:\/\/www.booksofall.com\/ja\/#\/schema\/logo\/image\/","url":"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2022\/06\/booksofall-logo-2.png","contentUrl":"https:\/\/www.booksofall.com\/ja\/wp-content\/uploads\/sites\/4\/2022\/06\/booksofall-logo-2.png","width":166,"height":30,"caption":"BooksOfAll Japanese"},"image":{"@id":"https:\/\/www.booksofall.com\/ja\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.booksofall.com\/ja\/wp-json\/wp\/v2\/product\/23281","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.booksofall.com\/ja\/wp-json\/wp\/v2\/product"}],"about":[{"href":"https:\/\/www.booksofall.com\/ja\/wp-json\/wp\/v2\/types\/product"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.booksofall.com\/ja\/wp-json\/wp\/v2\/media\/23285"}],"wp:attachment":[{"href":"https:\/\/www.booksofall.com\/ja\/wp-json\/wp\/v2\/media?parent=23281"}],"wp:term":[{"taxonomy":"product_brand","embeddable":true,"href":"https:\/\/www.booksofall.com\/ja\/wp-json\/wp\/v2\/product_brand?post=23281"},{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/www.booksofall.com\/ja\/wp-json\/wp\/v2\/product_cat?post=23281"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/www.booksofall.com\/ja\/wp-json\/wp\/v2\/product_tag?post=23281"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}