FRINK Linked Data Fragments server

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

• W2108942343 abstract "In this paper a formal model for asynchronous systems behaviour is presented which is suited for representing all levels of abstraction appearing in the design process. Based on a structural abstraction of asynchronous computation systems called asynchronous nets the behaviour of an asynchronous system can be represented by a set of so called abstract computations. It is shown how basic properties of such systems, and in particular, delay-insensitive behaviour, could be determined by investigating properties of abstract computations. Finally, it is demonstrated that the model enables formal verification of asynchronous systems over different levels of abstraction." @default.
• W2108942343 created "2016-06-24" @default.
• W2108942343 creator A5049694961 @default.
• W2108942343 creator A5082605480 @default.
• W2108942343 date "2000-01-01" @default.
• W2108942343 modified "2023-09-28" @default.
• W2108942343 title "Formal Asynchronous Systems Modelling" @default.
• W2108942343 cites W1491037212 @default.
• W2108942343 cites W1503860275 @default.
• W2108942343 cites W1512486245 @default.
• W2108942343 cites W1554812212 @default.
• W2108942343 cites W1558392573 @default.
• W2108942343 cites W1601699262 @default.
• W2108942343 cites W1605593319 @default.
• W2108942343 cites W1821179458 @default.
• W2108942343 cites W195648639 @default.
• W2108942343 cites W1999082644 @default.
• W2108942343 cites W1999890019 @default.
• W2108942343 cites W2008699161 @default.
• W2108942343 cites W2029005287 @default.
• W2108942343 cites W2033724727 @default.
• W2108942343 cites W2059456074 @default.
• W2108942343 cites W2065927961 @default.
• W2108942343 cites W2067044103 @default.
• W2108942343 cites W2097777889 @default.
• W2108942343 cites W2100169306 @default.
• W2108942343 cites W2103276472 @default.
• W2108942343 cites W2103798031 @default.
• W2108942343 cites W2121914493 @default.
• W2108942343 cites W2132283882 @default.
• W2108942343 cites W2137296754 @default.
• W2108942343 cites W2145283172 @default.
• W2108942343 cites W2147779504 @default.
• W2108942343 cites W2912084748 @default.
• W2108942343 doi "https://doi.org/10.3233/fi-2000-423406" @default.
• W2108942343 hasPublicationYear "2000" @default.
• W2108942343 type Work @default.
• W2108942343 sameAs 2108942343 @default.
• W2108942343 citedByCount "0" @default.
• W2108942343 crossrefType "journal-article" @default.
• W2108942343 hasAuthorship W2108942343A5049694961 @default.
• W2108942343 hasAuthorship W2108942343A5082605480 @default.
• W2108942343 hasConcept C111472728 @default.
• W2108942343 hasConcept C111498074 @default.
• W2108942343 hasConcept C120314980 @default.
• W2108942343 hasConcept C124304363 @default.
• W2108942343 hasConcept C134652429 @default.
• W2108942343 hasConcept C137059387 @default.
• W2108942343 hasConcept C138885662 @default.
• W2108942343 hasConcept C151319957 @default.
• W2108942343 hasConcept C177264268 @default.
• W2108942343 hasConcept C184596265 @default.
• W2108942343 hasConcept C199360897 @default.
• W2108942343 hasConcept C31258907 @default.
• W2108942343 hasConcept C41008148 @default.
• W2108942343 hasConcept C42196554 @default.
• W2108942343 hasConcept C45374587 @default.
• W2108942343 hasConcept C76155785 @default.
• W2108942343 hasConcept C7923308 @default.
• W2108942343 hasConcept C80444323 @default.
• W2108942343 hasConcept C98045186 @default.
• W2108942343 hasConceptScore W2108942343C111472728 @default.
• W2108942343 hasConceptScore W2108942343C111498074 @default.
• W2108942343 hasConceptScore W2108942343C120314980 @default.
• W2108942343 hasConceptScore W2108942343C124304363 @default.
• W2108942343 hasConceptScore W2108942343C134652429 @default.
• W2108942343 hasConceptScore W2108942343C137059387 @default.
• W2108942343 hasConceptScore W2108942343C138885662 @default.
• W2108942343 hasConceptScore W2108942343C151319957 @default.
• W2108942343 hasConceptScore W2108942343C177264268 @default.
• W2108942343 hasConceptScore W2108942343C184596265 @default.
• W2108942343 hasConceptScore W2108942343C199360897 @default.
• W2108942343 hasConceptScore W2108942343C31258907 @default.
• W2108942343 hasConceptScore W2108942343C41008148 @default.
• W2108942343 hasConceptScore W2108942343C42196554 @default.
• W2108942343 hasConceptScore W2108942343C45374587 @default.
• W2108942343 hasConceptScore W2108942343C76155785 @default.
• W2108942343 hasConceptScore W2108942343C7923308 @default.
• W2108942343 hasConceptScore W2108942343C80444323 @default.
• W2108942343 hasConceptScore W2108942343C98045186 @default.
• W2108942343 hasLocation W21089423431 @default.
• W2108942343 hasOpenAccess W2108942343 @default.
• W2108942343 hasPrimaryLocation W21089423431 @default.
• W2108942343 hasRelatedWork W1515972382 @default.
• W2108942343 hasRelatedWork W156140200 @default.
• W2108942343 hasRelatedWork W1607787799 @default.
• W2108942343 hasRelatedWork W1737423454 @default.
• W2108942343 hasRelatedWork W1855459128 @default.
• W2108942343 hasRelatedWork W1969837132 @default.
• W2108942343 hasRelatedWork W1982248531 @default.
• W2108942343 hasRelatedWork W2015713033 @default.
• W2108942343 hasRelatedWork W2026352467 @default.
• W2108942343 hasRelatedWork W2112461649 @default.
• W2108942343 hasRelatedWork W2122229220 @default.
• W2108942343 hasRelatedWork W2134658184 @default.
• W2108942343 hasRelatedWork W2159666177 @default.
• W2108942343 hasRelatedWork W2160249188 @default.
• W2108942343 hasRelatedWork W2266197955 @default.
• W2108942343 hasRelatedWork W2296646831 @default.
• W2108942343 hasRelatedWork W2296753638 @default.

• next