Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567263808> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1567263808 endingPage "291" @default.
- W1567263808 startingPage "276" @default.
- W1567263808 abstract "One central problem in the computer-aided verification of concurrent systems consisting of communicating sequential processes with data is to find suitable symbolic models. Such models should provide a compact computer representation for control and data flows, and should be appropriate for mainstream verification techniques such as model checking and theorem proving. A number of symbolic models have been proposed, many of which based on the guarded commands (also known as condition/action) paradigm. In this paper, we draw attention to the limitations of this paradigm and propose a better model named Ntif (New Technology Intermediate Form), which is well-adapted to compiling high-level, concurrent languages (such as the recent E-Lotos standard). Finally, we present two software tools developed for Ntif and report about the use of Ntif for modeling two embedded applications in smart cards." @default.
- W1567263808 created "2016-06-24" @default.
- W1567263808 creator A5022400989 @default.
- W1567263808 creator A5075433817 @default.
- W1567263808 date "2002-01-01" @default.
- W1567263808 modified "2023-10-17" @default.
- W1567263808 title "NTIF: A General Symbolic Model for Communicating Sequential Processes with Data" @default.
- W1567263808 cites W1537672735 @default.
- W1567263808 cites W2054409309 @default.
- W1567263808 cites W2081938726 @default.
- W1567263808 cites W2109220893 @default.
- W1567263808 cites W2115309705 @default.
- W1567263808 cites W2479224332 @default.
- W1567263808 cites W2489869394 @default.
- W1567263808 cites W25765579 @default.
- W1567263808 cites W2913663755 @default.
- W1567263808 cites W4247238156 @default.
- W1567263808 doi "https://doi.org/10.1007/3-540-36135-9_18" @default.
- W1567263808 hasPublicationYear "2002" @default.
- W1567263808 type Work @default.
- W1567263808 sameAs 1567263808 @default.
- W1567263808 citedByCount "15" @default.
- W1567263808 countsByYear W15672638082012 @default.
- W1567263808 countsByYear W15672638082015 @default.
- W1567263808 countsByYear W15672638082017 @default.
- W1567263808 crossrefType "book-chapter" @default.
- W1567263808 hasAuthorship W1567263808A5022400989 @default.
- W1567263808 hasAuthorship W1567263808A5075433817 @default.
- W1567263808 hasBestOaLocation W15672638081 @default.
- W1567263808 hasConcept C110251889 @default.
- W1567263808 hasConcept C17744445 @default.
- W1567263808 hasConcept C199360897 @default.
- W1567263808 hasConcept C199539241 @default.
- W1567263808 hasConcept C23123167 @default.
- W1567263808 hasConcept C2776359362 @default.
- W1567263808 hasConcept C41008148 @default.
- W1567263808 hasConcept C65620979 @default.
- W1567263808 hasConcept C80444323 @default.
- W1567263808 hasConcept C94625758 @default.
- W1567263808 hasConceptScore W1567263808C110251889 @default.
- W1567263808 hasConceptScore W1567263808C17744445 @default.
- W1567263808 hasConceptScore W1567263808C199360897 @default.
- W1567263808 hasConceptScore W1567263808C199539241 @default.
- W1567263808 hasConceptScore W1567263808C23123167 @default.
- W1567263808 hasConceptScore W1567263808C2776359362 @default.
- W1567263808 hasConceptScore W1567263808C41008148 @default.
- W1567263808 hasConceptScore W1567263808C65620979 @default.
- W1567263808 hasConceptScore W1567263808C80444323 @default.
- W1567263808 hasConceptScore W1567263808C94625758 @default.
- W1567263808 hasLocation W15672638081 @default.
- W1567263808 hasLocation W15672638082 @default.
- W1567263808 hasLocation W15672638083 @default.
- W1567263808 hasOpenAccess W1567263808 @default.
- W1567263808 hasPrimaryLocation W15672638081 @default.
- W1567263808 hasRelatedWork W1576596005 @default.
- W1567263808 hasRelatedWork W1742935137 @default.
- W1567263808 hasRelatedWork W2004752244 @default.
- W1567263808 hasRelatedWork W2079251676 @default.
- W1567263808 hasRelatedWork W2127574686 @default.
- W1567263808 hasRelatedWork W2138587207 @default.
- W1567263808 hasRelatedWork W2144517099 @default.
- W1567263808 hasRelatedWork W2152996796 @default.
- W1567263808 hasRelatedWork W2212264424 @default.
- W1567263808 hasRelatedWork W2571762577 @default.
- W1567263808 isParatext "false" @default.
- W1567263808 isRetracted "false" @default.
- W1567263808 magId "1567263808" @default.
- W1567263808 workType "book-chapter" @default.