Causality in synchronous systems

Lamport's happened-before relation provides a starting point for an enquiry into causal relations in synchronous systems. We define the ordered response problem, a natural coordination task. By analyzing solutions to this task we arrive at the Centipede Theorem, that gives a concise characteriz...

Full description

Saved in:
Bibliographic Details
Main Authors: Ben-Zvi, Ido, Moses, Y
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Context
History
Protocols
Relays
Synchronization
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 000044
container_issue
container_start_page 000040
container_title
container_volume
creator Ben-Zvi, Ido
Moses, Y
description Lamport's happened-before relation provides a starting point for an enquiry into causal relations in synchronous systems. We define the ordered response problem, a natural coordination task. By analyzing solutions to this task we arrive at the Centipede Theorem, that gives a concise characterization of synchronous causality.
doi_str_mv 10.1109/EEEI.2010.5662143
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5662143</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5662143</ieee_id><sourcerecordid>5662143</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-b171b8eccaad003b00aa8535dea03b2743455baaf53adf6c676d63300f56b4813</originalsourceid><addsrcrecordid>eNo1j8FOwzAQRBchJKDNB6Be8gMpu1nbcY4oClCpUi-9V-vEEUZtWsXpIX9PEGUuM-8yowF4IVwTYfla1_VmneOM2picFN9BUhaWVK6UNRbLe3j-B9KPkMT4jbN0Xii2T5BWco1yDOOUhj6NU998Def-fI1zjqM_xSU8dHKMPrn5Avbv9b76zLa7j031ts1CiWPmqCBnfdOItIjsEEWsZt16mel3S2ntRDrN0namMYVpDTNip41TlngBq7_a4L0_XIZwkmE63D7xD6TXPt8</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Causality in synchronous systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Ben-Zvi, Ido ; Moses, Y</creator><creatorcontrib>Ben-Zvi, Ido ; Moses, Y</creatorcontrib><description>Lamport's happened-before relation provides a starting point for an enquiry into causal relations in synchronous systems. We define the ordered response problem, a natural coordination task. By analyzing solutions to this task we arrive at the Centipede Theorem, that gives a concise characterization of synchronous causality.</description><identifier>ISBN: 1424486815</identifier><identifier>ISBN: 9781424486816</identifier><identifier>EISBN: 9781424486809</identifier><identifier>EISBN: 1424486823</identifier><identifier>EISBN: 9781424486823</identifier><identifier>EISBN: 1424486807</identifier><identifier>DOI: 10.1109/EEEI.2010.5662143</identifier><language>eng</language><publisher>IEEE</publisher><subject>Analytical models ; Context ; History ; Protocols ; Relays ; Synchronization</subject><ispartof>2010 IEEE 26-th Convention of Electrical and Electronics Engineers in Israel, 2010, p.000040-000044</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5662143$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5662143$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Ben-Zvi, Ido</creatorcontrib><creatorcontrib>Moses, Y</creatorcontrib><title>Causality in synchronous systems</title><title>2010 IEEE 26-th Convention of Electrical and Electronics Engineers in Israel</title><addtitle>EEEI</addtitle><description>Lamport's happened-before relation provides a starting point for an enquiry into causal relations in synchronous systems. We define the ordered response problem, a natural coordination task. By analyzing solutions to this task we arrive at the Centipede Theorem, that gives a concise characterization of synchronous causality.</description><subject>Analytical models</subject><subject>Context</subject><subject>History</subject><subject>Protocols</subject><subject>Relays</subject><subject>Synchronization</subject><isbn>1424486815</isbn><isbn>9781424486816</isbn><isbn>9781424486809</isbn><isbn>1424486823</isbn><isbn>9781424486823</isbn><isbn>1424486807</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2010</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNo1j8FOwzAQRBchJKDNB6Be8gMpu1nbcY4oClCpUi-9V-vEEUZtWsXpIX9PEGUuM-8yowF4IVwTYfla1_VmneOM2picFN9BUhaWVK6UNRbLe3j-B9KPkMT4jbN0Xii2T5BWco1yDOOUhj6NU998Def-fI1zjqM_xSU8dHKMPrn5Avbv9b76zLa7j031ts1CiWPmqCBnfdOItIjsEEWsZt16mel3S2ntRDrN0namMYVpDTNip41TlngBq7_a4L0_XIZwkmE63D7xD6TXPt8</recordid><startdate>201011</startdate><enddate>201011</enddate><creator>Ben-Zvi, Ido</creator><creator>Moses, Y</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201011</creationdate><title>Causality in synchronous systems</title><author>Ben-Zvi, Ido ; Moses, Y</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-b171b8eccaad003b00aa8535dea03b2743455baaf53adf6c676d63300f56b4813</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2010</creationdate><topic>Analytical models</topic><topic>Context</topic><topic>History</topic><topic>Protocols</topic><topic>Relays</topic><topic>Synchronization</topic><toplevel>online_resources</toplevel><creatorcontrib>Ben-Zvi, Ido</creatorcontrib><creatorcontrib>Moses, Y</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE/IET Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Ben-Zvi, Ido</au><au>Moses, Y</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Causality in synchronous systems</atitle><btitle>2010 IEEE 26-th Convention of Electrical and Electronics Engineers in Israel</btitle><stitle>EEEI</stitle><date>2010-11</date><risdate>2010</risdate><spage>000040</spage><epage>000044</epage><pages>000040-000044</pages><isbn>1424486815</isbn><isbn>9781424486816</isbn><eisbn>9781424486809</eisbn><eisbn>1424486823</eisbn><eisbn>9781424486823</eisbn><eisbn>1424486807</eisbn><abstract>Lamport's happened-before relation provides a starting point for an enquiry into causal relations in synchronous systems. We define the ordered response problem, a natural coordination task. By analyzing solutions to this task we arrive at the Centipede Theorem, that gives a concise characterization of synchronous causality.</abstract><pub>IEEE</pub><doi>10.1109/EEEI.2010.5662143</doi><tpages>5</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 1424486815
ispartof 2010 IEEE 26-th Convention of Electrical and Electronics Engineers in Israel, 2010, p.000040-000044
issn
language eng
recordid cdi_ieee_primary_5662143
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Analytical models
Context
History
Protocols
Relays
Synchronization
title Causality in synchronous systems
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T13%3A59%3A14IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Causality%20in%20synchronous%20systems&rft.btitle=2010%20IEEE%2026-th%20Convention%20of%20Electrical%20and%20Electronics%20Engineers%20in%20Israel&rft.au=Ben-Zvi,%20Ido&rft.date=2010-11&rft.spage=000040&rft.epage=000044&rft.pages=000040-000044&rft.isbn=1424486815&rft.isbn_list=9781424486816&rft_id=info:doi/10.1109/EEEI.2010.5662143&rft.eisbn=9781424486809&rft.eisbn_list=1424486823&rft.eisbn_list=9781424486823&rft.eisbn_list=1424486807&rft_dat=%3Cieee_6IE%3E5662143%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i90t-b171b8eccaad003b00aa8535dea03b2743455baaf53adf6c676d63300f56b4813%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5662143&rfr_iscdi=true