Matches in SemOpenAlex for { <https://semopenalex.org/work/W1820239421> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1820239421 endingPage "363" @default.
- W1820239421 startingPage "353" @default.
- W1820239421 abstract "Finite automata are the basis of many verification methods and tools for process algebras. It is however undecidable in most process algebras whether the semantics of a given term is finite. We give sufficient finiteness conditions derived from the analysis of the operational rules of the algebra operators. From these rules we also generate the functions that compute automata from terms of the algebra. These constructions allow one to use our verification tools for programs written in many process algebras." @default.
- W1820239421 created "2016-06-24" @default.
- W1820239421 creator A5062143465 @default.
- W1820239421 creator A5066253370 @default.
- W1820239421 date "2005-11-19" @default.
- W1820239421 modified "2023-10-04" @default.
- W1820239421 title "Finiteness conditions and structural construction of automata for all process algebras" @default.
- W1820239421 cites W1490390913 @default.
- W1820239421 cites W2001748564 @default.
- W1820239421 cites W2070157304 @default.
- W1820239421 cites W2121372686 @default.
- W1820239421 cites W2137865376 @default.
- W1820239421 doi "https://doi.org/10.1007/bfb0023749" @default.
- W1820239421 hasPublicationYear "2005" @default.
- W1820239421 type Work @default.
- W1820239421 sameAs 1820239421 @default.
- W1820239421 citedByCount "12" @default.
- W1820239421 countsByYear W18202394212012 @default.
- W1820239421 countsByYear W18202394212021 @default.
- W1820239421 crossrefType "book-chapter" @default.
- W1820239421 hasAuthorship W1820239421A5062143465 @default.
- W1820239421 hasAuthorship W1820239421A5066253370 @default.
- W1820239421 hasBestOaLocation W18202394211 @default.
- W1820239421 hasConcept C112505250 @default.
- W1820239421 hasConcept C12426560 @default.
- W1820239421 hasConcept C136119220 @default.
- W1820239421 hasConcept C153269930 @default.
- W1820239421 hasConcept C161771561 @default.
- W1820239421 hasConcept C184337299 @default.
- W1820239421 hasConcept C192034797 @default.
- W1820239421 hasConcept C199360897 @default.
- W1820239421 hasConcept C202444582 @default.
- W1820239421 hasConcept C2524010 @default.
- W1820239421 hasConcept C33923547 @default.
- W1820239421 hasConcept C41008148 @default.
- W1820239421 hasConcept C80444323 @default.
- W1820239421 hasConcept C98045186 @default.
- W1820239421 hasConceptScore W1820239421C112505250 @default.
- W1820239421 hasConceptScore W1820239421C12426560 @default.
- W1820239421 hasConceptScore W1820239421C136119220 @default.
- W1820239421 hasConceptScore W1820239421C153269930 @default.
- W1820239421 hasConceptScore W1820239421C161771561 @default.
- W1820239421 hasConceptScore W1820239421C184337299 @default.
- W1820239421 hasConceptScore W1820239421C192034797 @default.
- W1820239421 hasConceptScore W1820239421C199360897 @default.
- W1820239421 hasConceptScore W1820239421C202444582 @default.
- W1820239421 hasConceptScore W1820239421C2524010 @default.
- W1820239421 hasConceptScore W1820239421C33923547 @default.
- W1820239421 hasConceptScore W1820239421C41008148 @default.
- W1820239421 hasConceptScore W1820239421C80444323 @default.
- W1820239421 hasConceptScore W1820239421C98045186 @default.
- W1820239421 hasLocation W18202394211 @default.
- W1820239421 hasOpenAccess W1820239421 @default.
- W1820239421 hasPrimaryLocation W18202394211 @default.
- W1820239421 hasRelatedWork W1513077802 @default.
- W1820239421 hasRelatedWork W1886894358 @default.
- W1820239421 hasRelatedWork W1954655008 @default.
- W1820239421 hasRelatedWork W2293901330 @default.
- W1820239421 hasRelatedWork W2518552594 @default.
- W1820239421 hasRelatedWork W2597532023 @default.
- W1820239421 hasRelatedWork W2964598103 @default.
- W1820239421 hasRelatedWork W2991618286 @default.
- W1820239421 hasRelatedWork W3209871473 @default.
- W1820239421 hasRelatedWork W4286894913 @default.
- W1820239421 isParatext "false" @default.
- W1820239421 isRetracted "false" @default.
- W1820239421 magId "1820239421" @default.
- W1820239421 workType "book-chapter" @default.