Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023577083> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2023577083 endingPage "206" @default.
- W2023577083 startingPage "171" @default.
- W2023577083 abstract "Lamport diagrams are partial orders which depict computations of message passing systems. It is natural to consider generalizations of linear time temporal logics over such diagrams. In Meenakshi and Ramanujam (Proceedings of ICALP 2000. Lecture Notes in Computer Science, Vol. 1853. 2000. p. 487-98.) we presented a decidable temporal logic with local temporal modalities and a global 'previous' modality to talk of message receipts. It seems reasonable to extend the logic with a global 'next' modality as well, so that sending of messages may also be easily specified, but this (or other similar attempts) lead to undecidability. Hence, we consider ways of restricting the models so as to obtain decidability, while retaining the expressiveness of global 'next' and global 'previous' modalities. For this, we consider Lamport diagrams presented as a sequence of layers. The layers themselves describe finite communication patterns and a diagram is obtained by sequential composition of such parallel processes. The logic is defined appropriately, with layer formulas describing communications within a layer, and temporal formulas describing the sequence of layers in the computation. When the number of events in layers is uniformly bounded and each layer is communication closed, we get decidability. Alternatively, a stronger uniform bound on what we term channel capacity also yields decidability. We present an example of system specification in the logic." @default.
- W2023577083 created "2016-06-24" @default.
- W2023577083 creator A5049510914 @default.
- W2023577083 creator A5087725351 @default.
- W2023577083 date "2004-10-01" @default.
- W2023577083 modified "2023-09-24" @default.
- W2023577083 title "Reasoning about layered message passing systems" @default.
- W2023577083 cites W1488330382 @default.
- W2023577083 cites W1500492509 @default.
- W2023577083 cites W1517416010 @default.
- W2023577083 cites W1574587683 @default.
- W2023577083 cites W1606582305 @default.
- W2023577083 cites W1835795730 @default.
- W2023577083 cites W2024194828 @default.
- W2023577083 cites W2042981544 @default.
- W2023577083 cites W2137307988 @default.
- W2023577083 cites W2138332144 @default.
- W2023577083 cites W2159319094 @default.
- W2023577083 cites W2159599065 @default.
- W2023577083 cites W2171020144 @default.
- W2023577083 cites W3137220996 @default.
- W2023577083 doi "https://doi.org/10.1016/j.cl.2004.02.003" @default.
- W2023577083 hasPublicationYear "2004" @default.
- W2023577083 type Work @default.
- W2023577083 sameAs 2023577083 @default.
- W2023577083 citedByCount "8" @default.
- W2023577083 countsByYear W20235770832013 @default.
- W2023577083 countsByYear W20235770832020 @default.
- W2023577083 countsByYear W20235770832022 @default.
- W2023577083 countsByYear W20235770832023 @default.
- W2023577083 crossrefType "journal-article" @default.
- W2023577083 hasAuthorship W2023577083A5049510914 @default.
- W2023577083 hasAuthorship W2023577083A5087725351 @default.
- W2023577083 hasConcept C41008148 @default.
- W2023577083 hasConceptScore W2023577083C41008148 @default.
- W2023577083 hasIssue "3-4" @default.
- W2023577083 hasLocation W20235770831 @default.
- W2023577083 hasOpenAccess W2023577083 @default.
- W2023577083 hasPrimaryLocation W20235770831 @default.
- W2023577083 hasRelatedWork W2049775471 @default.
- W2023577083 hasRelatedWork W2093578348 @default.
- W2023577083 hasRelatedWork W2350741829 @default.
- W2023577083 hasRelatedWork W2358668433 @default.
- W2023577083 hasRelatedWork W2376932109 @default.
- W2023577083 hasRelatedWork W2382290278 @default.
- W2023577083 hasRelatedWork W2390279801 @default.
- W2023577083 hasRelatedWork W2748952813 @default.
- W2023577083 hasRelatedWork W2899084033 @default.
- W2023577083 hasRelatedWork W3004735627 @default.
- W2023577083 hasVolume "30" @default.
- W2023577083 isParatext "false" @default.
- W2023577083 isRetracted "false" @default.
- W2023577083 magId "2023577083" @default.
- W2023577083 workType "article" @default.