Matches in SemOpenAlex for { <https://semopenalex.org/work/W2027253888> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2027253888 abstract "Abstract In E-LOTOS, signals are a kind of external actions of a process that the environment of the process is not allowed to synchronise upon. They can only be trapped as exceptions, but that prevents observation of the subsequent actions. Consequently, the coupling of a process and its tester can not always be adequately described in E-LOTOS. To solve the problem, we introduce the concept of passive observers." @default.
- W2027253888 created "2016-06-24" @default.
- W2027253888 creator A5059203563 @default.
- W2027253888 date "2000-03-01" @default.
- W2027253888 modified "2023-09-27" @default.
- W2027253888 title "Restoring the concept of observability in E-LOTOS" @default.
- W2027253888 cites W1522479539 @default.
- W2027253888 cites W2054409309 @default.
- W2027253888 cites W2121372686 @default.
- W2027253888 cites W2483362090 @default.
- W2027253888 cites W2912873515 @default.
- W2027253888 doi "https://doi.org/10.1016/s0920-5489(00)00030-1" @default.
- W2027253888 hasPublicationYear "2000" @default.
- W2027253888 type Work @default.
- W2027253888 sameAs 2027253888 @default.
- W2027253888 citedByCount "4" @default.
- W2027253888 crossrefType "journal-article" @default.
- W2027253888 hasAuthorship W2027253888A5059203563 @default.
- W2027253888 hasConcept C120314980 @default.
- W2027253888 hasConcept C127413603 @default.
- W2027253888 hasConcept C131584629 @default.
- W2027253888 hasConcept C161771561 @default.
- W2027253888 hasConcept C199360897 @default.
- W2027253888 hasConcept C28826006 @default.
- W2027253888 hasConcept C33923547 @default.
- W2027253888 hasConcept C36299963 @default.
- W2027253888 hasConcept C41008148 @default.
- W2027253888 hasConcept C78519656 @default.
- W2027253888 hasConcept C80444323 @default.
- W2027253888 hasConcept C98045186 @default.
- W2027253888 hasConceptScore W2027253888C120314980 @default.
- W2027253888 hasConceptScore W2027253888C127413603 @default.
- W2027253888 hasConceptScore W2027253888C131584629 @default.
- W2027253888 hasConceptScore W2027253888C161771561 @default.
- W2027253888 hasConceptScore W2027253888C199360897 @default.
- W2027253888 hasConceptScore W2027253888C28826006 @default.
- W2027253888 hasConceptScore W2027253888C33923547 @default.
- W2027253888 hasConceptScore W2027253888C36299963 @default.
- W2027253888 hasConceptScore W2027253888C41008148 @default.
- W2027253888 hasConceptScore W2027253888C78519656 @default.
- W2027253888 hasConceptScore W2027253888C80444323 @default.
- W2027253888 hasConceptScore W2027253888C98045186 @default.
- W2027253888 hasLocation W20272538881 @default.
- W2027253888 hasOpenAccess W2027253888 @default.
- W2027253888 hasPrimaryLocation W20272538881 @default.
- W2027253888 hasRelatedWork W103783048 @default.
- W2027253888 hasRelatedWork W1120759426 @default.
- W2027253888 hasRelatedWork W1490796108 @default.
- W2027253888 hasRelatedWork W1497869663 @default.
- W2027253888 hasRelatedWork W1579239352 @default.
- W2027253888 hasRelatedWork W1586681669 @default.
- W2027253888 hasRelatedWork W1588786669 @default.
- W2027253888 hasRelatedWork W1952732242 @default.
- W2027253888 hasRelatedWork W20635645 @default.
- W2027253888 hasRelatedWork W2155054252 @default.
- W2027253888 hasRelatedWork W2240079117 @default.
- W2027253888 hasRelatedWork W2741855948 @default.
- W2027253888 hasRelatedWork W2901900876 @default.
- W2027253888 hasRelatedWork W3015618640 @default.
- W2027253888 hasRelatedWork W3016484711 @default.
- W2027253888 hasRelatedWork W3042689773 @default.
- W2027253888 hasRelatedWork W3093480755 @default.
- W2027253888 hasRelatedWork W3103537224 @default.
- W2027253888 hasRelatedWork W1737749028 @default.
- W2027253888 hasRelatedWork W2803007949 @default.
- W2027253888 isParatext "false" @default.
- W2027253888 isRetracted "false" @default.
- W2027253888 magId "2027253888" @default.
- W2027253888 workType "article" @default.