Matches in SemOpenAlex for { <https://semopenalex.org/work/W2802060823> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2802060823 endingPage "22" @default.
- W2802060823 startingPage "19" @default.
- W2802060823 abstract "This extended abstract sketches a generalisation of the well-specified algorithm which is used to check whether a stochastic process associated with instances of popular specification formalisms is unique. The generalised algorithm is computationally more expensive, since it explores the specified behaviour in multiple levels up to a user-specified depth. For depth 1, the essence of the original algorithm is obtained, while the exploration of more than 1 level allows one to accept specifications that are rejected by the original algorithm." @default.
- W2802060823 created "2018-05-17" @default.
- W2802060823 creator A5026821593 @default.
- W2802060823 creator A5028747794 @default.
- W2802060823 date "2003-09-06" @default.
- W2802060823 modified "2023-09-23" @default.
- W2802060823 title "Generalisation of the Well-Specified Check" @default.
- W2802060823 hasPublicationYear "2003" @default.
- W2802060823 type Work @default.
- W2802060823 sameAs 2802060823 @default.
- W2802060823 citedByCount "0" @default.
- W2802060823 crossrefType "journal-article" @default.
- W2802060823 hasAuthorship W2802060823A5026821593 @default.
- W2802060823 hasAuthorship W2802060823A5028747794 @default.
- W2802060823 hasConcept C11413529 @default.
- W2802060823 hasConcept C171018156 @default.
- W2802060823 hasConcept C199360897 @default.
- W2802060823 hasConcept C2524010 @default.
- W2802060823 hasConcept C33923547 @default.
- W2802060823 hasConcept C41008148 @default.
- W2802060823 hasConcept C80444323 @default.
- W2802060823 hasConcept C98045186 @default.
- W2802060823 hasConceptScore W2802060823C11413529 @default.
- W2802060823 hasConceptScore W2802060823C171018156 @default.
- W2802060823 hasConceptScore W2802060823C199360897 @default.
- W2802060823 hasConceptScore W2802060823C2524010 @default.
- W2802060823 hasConceptScore W2802060823C33923547 @default.
- W2802060823 hasConceptScore W2802060823C41008148 @default.
- W2802060823 hasConceptScore W2802060823C80444323 @default.
- W2802060823 hasConceptScore W2802060823C98045186 @default.
- W2802060823 hasLocation W28020608231 @default.
- W2802060823 hasOpenAccess W2802060823 @default.
- W2802060823 hasPrimaryLocation W28020608231 @default.
- W2802060823 hasRelatedWork W1023775848 @default.
- W2802060823 hasRelatedWork W1481732976 @default.
- W2802060823 hasRelatedWork W1486223792 @default.
- W2802060823 hasRelatedWork W1575050180 @default.
- W2802060823 hasRelatedWork W1600322695 @default.
- W2802060823 hasRelatedWork W170035804 @default.
- W2802060823 hasRelatedWork W1722305115 @default.
- W2802060823 hasRelatedWork W1967431146 @default.
- W2802060823 hasRelatedWork W2062184115 @default.
- W2802060823 hasRelatedWork W2088126145 @default.
- W2802060823 hasRelatedWork W2109452325 @default.
- W2802060823 hasRelatedWork W2113151373 @default.
- W2802060823 hasRelatedWork W2113262406 @default.
- W2802060823 hasRelatedWork W2114881313 @default.
- W2802060823 hasRelatedWork W2163468719 @default.
- W2802060823 hasRelatedWork W2222205073 @default.
- W2802060823 hasRelatedWork W2395049787 @default.
- W2802060823 hasRelatedWork W612509057 @default.
- W2802060823 hasRelatedWork W92059193 @default.
- W2802060823 hasRelatedWork W955442534 @default.
- W2802060823 isParatext "false" @default.
- W2802060823 isRetracted "false" @default.
- W2802060823 magId "2802060823" @default.
- W2802060823 workType "article" @default.