Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078440374> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2078440374 endingPage "509" @default.
- W2078440374 startingPage "473" @default.
- W2078440374 abstract "Abstract We give a semantics for Message Flow Graphs (MFGs), which play the role for interprocess communication that Program Dependence Graphs play for control flow in parallel processes. MFGs have been used to analyse parallel code, and are closely related to Message Sequence Charts and Time Sequence Diagrams in telecommunications systems. Our requirements are firstly, to determine unambiguously exactly what execution traces are specified by an MFG, and secondly, to use a finite-state interpretation. Our methods function for both asynchronous and synchronous communications. From a set of MFGs, we define a transition system of global states, and from that a Büchi automaton by considering safety and liveness properties of the system. In order easily to describe liveness properties, we interpret the traces of the transition system as a model of Manna-Pnueli temporal logic. Finally, we describe the expressive power of MFGs by mimicking an arbitrary Büchi automaton by means of a set of MFGs." @default.
- W2078440374 created "2016-06-24" @default.
- W2078440374 creator A5013541546 @default.
- W2078440374 creator A5045470371 @default.
- W2078440374 date "1995-09-01" @default.
- W2078440374 modified "2023-10-09" @default.
- W2078440374 title "Interpreting Message Flow Graphs" @default.
- W2078440374 cites W1483353812 @default.
- W2078440374 cites W1506588809 @default.
- W2078440374 cites W1560050980 @default.
- W2078440374 cites W1772534500 @default.
- W2078440374 cites W196030931 @default.
- W2078440374 cites W1976491295 @default.
- W2078440374 cites W1984478483 @default.
- W2078440374 cites W1986033227 @default.
- W2078440374 cites W2015688007 @default.
- W2078440374 cites W2025480213 @default.
- W2078440374 cites W2026429908 @default.
- W2078440374 cites W2055295051 @default.
- W2078440374 cites W2062934926 @default.
- W2078440374 cites W2081938726 @default.
- W2078440374 cites W2107284051 @default.
- W2078440374 cites W2114957237 @default.
- W2078440374 cites W2151271773 @default.
- W2078440374 cites W2481198036 @default.
- W2078440374 cites W269159856 @default.
- W2078440374 cites W2806619258 @default.
- W2078440374 cites W3204486483 @default.
- W2078440374 cites W4232306982 @default.
- W2078440374 cites W4236102081 @default.
- W2078440374 cites W4251027035 @default.
- W2078440374 cites W4320800863 @default.
- W2078440374 doi "https://doi.org/10.1007/bf01211629" @default.
- W2078440374 hasPublicationYear "1995" @default.
- W2078440374 type Work @default.
- W2078440374 sameAs 2078440374 @default.
- W2078440374 citedByCount "87" @default.
- W2078440374 countsByYear W20784403742012 @default.
- W2078440374 countsByYear W20784403742013 @default.
- W2078440374 countsByYear W20784403742014 @default.
- W2078440374 countsByYear W20784403742016 @default.
- W2078440374 countsByYear W20784403742017 @default.
- W2078440374 countsByYear W20784403742018 @default.
- W2078440374 countsByYear W20784403742019 @default.
- W2078440374 crossrefType "journal-article" @default.
- W2078440374 hasAuthorship W2078440374A5013541546 @default.
- W2078440374 hasAuthorship W2078440374A5045470371 @default.
- W2078440374 hasBestOaLocation W20784403742 @default.
- W2078440374 hasConcept C112505250 @default.
- W2078440374 hasConcept C151319957 @default.
- W2078440374 hasConcept C15569618 @default.
- W2078440374 hasConcept C160191386 @default.
- W2078440374 hasConcept C177264268 @default.
- W2078440374 hasConcept C184337299 @default.
- W2078440374 hasConcept C199360897 @default.
- W2078440374 hasConcept C2778112365 @default.
- W2078440374 hasConcept C31258907 @default.
- W2078440374 hasConcept C38677869 @default.
- W2078440374 hasConcept C41008148 @default.
- W2078440374 hasConcept C54355233 @default.
- W2078440374 hasConcept C80444323 @default.
- W2078440374 hasConcept C86803240 @default.
- W2078440374 hasConceptScore W2078440374C112505250 @default.
- W2078440374 hasConceptScore W2078440374C151319957 @default.
- W2078440374 hasConceptScore W2078440374C15569618 @default.
- W2078440374 hasConceptScore W2078440374C160191386 @default.
- W2078440374 hasConceptScore W2078440374C177264268 @default.
- W2078440374 hasConceptScore W2078440374C184337299 @default.
- W2078440374 hasConceptScore W2078440374C199360897 @default.
- W2078440374 hasConceptScore W2078440374C2778112365 @default.
- W2078440374 hasConceptScore W2078440374C31258907 @default.
- W2078440374 hasConceptScore W2078440374C38677869 @default.
- W2078440374 hasConceptScore W2078440374C41008148 @default.
- W2078440374 hasConceptScore W2078440374C54355233 @default.
- W2078440374 hasConceptScore W2078440374C80444323 @default.
- W2078440374 hasConceptScore W2078440374C86803240 @default.
- W2078440374 hasIssue "5" @default.
- W2078440374 hasLocation W20784403741 @default.
- W2078440374 hasLocation W20784403742 @default.
- W2078440374 hasOpenAccess W2078440374 @default.
- W2078440374 hasPrimaryLocation W20784403741 @default.
- W2078440374 hasRelatedWork W2004753716 @default.
- W2078440374 hasRelatedWork W2031305780 @default.
- W2078440374 hasRelatedWork W2066603162 @default.
- W2078440374 hasRelatedWork W2107690674 @default.
- W2078440374 hasRelatedWork W2120541137 @default.
- W2078440374 hasRelatedWork W2124283471 @default.
- W2078440374 hasRelatedWork W2169868067 @default.
- W2078440374 hasRelatedWork W2330065971 @default.
- W2078440374 hasRelatedWork W2380939061 @default.
- W2078440374 hasRelatedWork W2391817608 @default.
- W2078440374 hasVolume "7" @default.
- W2078440374 isParatext "false" @default.
- W2078440374 isRetracted "false" @default.
- W2078440374 magId "2078440374" @default.
- W2078440374 workType "article" @default.