FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W135923700> ?p ?o ?g. }

• W135923700 endingPage "968" @default.
• W135923700 startingPage "959" @default.
• W135923700 abstract "Data flow is a paradigm for concurrent computations in which a collection of parallel processes communicate asynchronously. For nondeterministic data flow networks many semantic models have been defined, however, it is complex to reason about the semantics of a network. In this paper, we introduce a transformation between data flow networks and the LOTOS specification language to make available theories and tools developed for process algebras for the semantic analysis of nondeterministic data flow networks. The transformation does not establish a one-to-one mapping between the traces of a data flow network and the LOTOS specification, but maps each network in a specification which usually contains more traces. The obtained system specification has the same set of traces as the corresponding network if they are finite, otherwise also non fair traces are included. Formal analysis and verification methods can still be applied to prove properties of the original data flow network, allowing in case of networks with finite traces to prove also networks equivalence." @default.
• W135923700 created "2016-06-24" @default.
• W135923700 creator A5016669256 @default.
• W135923700 creator A5065265267 @default.
• W135923700 creator A5090991742 @default.
• W135923700 date "1995-08-25" @default.
• W135923700 modified "2023-09-26" @default.
• W135923700 title "Using Process Algebras for the Semantic Analysis of Data Flow Networks" @default.
• W135923700 cites W1483256715 @default.
• W135923700 cites W149084399 @default.
• W135923700 cites W1578649939 @default.
• W135923700 cites W1597755753 @default.
• W135923700 cites W1922351438 @default.
• W135923700 cites W2000302396 @default.
• W135923700 cites W2046381502 @default.
• W135923700 cites W2096412875 @default.
• W135923700 cites W2099361053 @default.
• W135923700 cites W2107708507 @default.
• W135923700 cites W2121372686 @default.
• W135923700 cites W2129691129 @default.
• W135923700 cites W2135012291 @default.
• W135923700 cites W3144368627 @default.
• W135923700 hasPublicationYear "1995" @default.
• W135923700 type Work @default.
• W135923700 sameAs 135923700 @default.
• W135923700 citedByCount "0" @default.
• W135923700 crossrefType "journal-article" @default.
• W135923700 hasAuthorship W135923700A5016669256 @default.
• W135923700 hasAuthorship W135923700A5065265267 @default.
• W135923700 hasAuthorship W135923700A5090991742 @default.
• W135923700 hasConcept C104317684 @default.
• W135923700 hasConcept C114809511 @default.
• W135923700 hasConcept C118615104 @default.
• W135923700 hasConcept C126255220 @default.
• W135923700 hasConcept C154945302 @default.
• W135923700 hasConcept C161771561 @default.
• W135923700 hasConcept C176181172 @default.
• W135923700 hasConcept C184337299 @default.
• W135923700 hasConcept C185592680 @default.
• W135923700 hasConcept C199360897 @default.
• W135923700 hasConcept C201677973 @default.
• W135923700 hasConcept C204241405 @default.
• W135923700 hasConcept C2129575 @default.
• W135923700 hasConcept C2780069185 @default.
• W135923700 hasConcept C33923547 @default.
• W135923700 hasConcept C37926939 @default.
• W135923700 hasConcept C41008148 @default.
• W135923700 hasConcept C489000 @default.
• W135923700 hasConcept C511149849 @default.
• W135923700 hasConcept C55493867 @default.
• W135923700 hasConcept C77088390 @default.
• W135923700 hasConcept C80444323 @default.
• W135923700 hasConcept C88468194 @default.
• W135923700 hasConcept C98045186 @default.
• W135923700 hasConceptScore W135923700C104317684 @default.
• W135923700 hasConceptScore W135923700C114809511 @default.
• W135923700 hasConceptScore W135923700C118615104 @default.
• W135923700 hasConceptScore W135923700C126255220 @default.
• W135923700 hasConceptScore W135923700C154945302 @default.
• W135923700 hasConceptScore W135923700C161771561 @default.
• W135923700 hasConceptScore W135923700C176181172 @default.
• W135923700 hasConceptScore W135923700C184337299 @default.
• W135923700 hasConceptScore W135923700C185592680 @default.
• W135923700 hasConceptScore W135923700C199360897 @default.
• W135923700 hasConceptScore W135923700C201677973 @default.
• W135923700 hasConceptScore W135923700C204241405 @default.
• W135923700 hasConceptScore W135923700C2129575 @default.
• W135923700 hasConceptScore W135923700C2780069185 @default.
• W135923700 hasConceptScore W135923700C33923547 @default.
• W135923700 hasConceptScore W135923700C37926939 @default.
• W135923700 hasConceptScore W135923700C41008148 @default.
• W135923700 hasConceptScore W135923700C489000 @default.
• W135923700 hasConceptScore W135923700C511149849 @default.
• W135923700 hasConceptScore W135923700C55493867 @default.
• W135923700 hasConceptScore W135923700C77088390 @default.
• W135923700 hasConceptScore W135923700C80444323 @default.
• W135923700 hasConceptScore W135923700C88468194 @default.
• W135923700 hasConceptScore W135923700C98045186 @default.
• W135923700 hasIssue "8" @default.
• W135923700 hasLocation W1359237001 @default.
• W135923700 hasOpenAccess W135923700 @default.
• W135923700 hasPrimaryLocation W1359237001 @default.
• W135923700 hasRelatedWork W10887176 @default.
• W135923700 hasRelatedWork W1479847011 @default.
• W135923700 hasRelatedWork W148357932 @default.
• W135923700 hasRelatedWork W1522479539 @default.
• W135923700 hasRelatedWork W1525953945 @default.
• W135923700 hasRelatedWork W1559904430 @default.
• W135923700 hasRelatedWork W1948159050 @default.
• W135923700 hasRelatedWork W2010590963 @default.
• W135923700 hasRelatedWork W2321692961 @default.
• W135923700 hasRelatedWork W2552319550 @default.
• W135923700 hasRelatedWork W2595265232 @default.
• W135923700 hasRelatedWork W2673293219 @default.
• W135923700 hasRelatedWork W2800110797 @default.
• W135923700 hasRelatedWork W2969573567 @default.
• W135923700 hasRelatedWork W301151009 @default.
• W135923700 hasRelatedWork W3106724050 @default.

• next