Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100170925> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2100170925 abstract "This paper introduces autonomous observable actions into process algebra. These actions can be observed but cannot be controlled by an environment. The proposed extension of ACP allows verifications without silent steps and fairness assumptions. The inclusion of inequalities makes it possible to verify that an implementation satisfies a given specification. with the specification indicating exactly where the implementation may reduce nondeterminism." @default.
- W2100170925 created "2016-06-24" @default.
- W2100170925 creator A5005563514 @default.
- W2100170925 creator A5034830417 @default.
- W2100170925 date "1996-01-01" @default.
- W2100170925 modified "2023-09-24" @default.
- W2100170925 title "Process algebra with autonomous actions" @default.
- W2100170925 cites W1832869869 @default.
- W2100170925 cites W1985161650 @default.
- W2100170925 cites W2098981343 @default.
- W2100170925 cites W2109738452 @default.
- W2100170925 cites W2114817587 @default.
- W2100170925 cites W2136133653 @default.
- W2100170925 cites W2136920408 @default.
- W2100170925 cites W2151584924 @default.
- W2100170925 cites W2158543119 @default.
- W2100170925 cites W2167004912 @default.
- W2100170925 cites W2340102009 @default.
- W2100170925 cites W2583399457 @default.
- W2100170925 cites W3144368627 @default.
- W2100170925 cites W2588552110 @default.
- W2100170925 hasPublicationYear "1996" @default.
- W2100170925 type Work @default.
- W2100170925 sameAs 2100170925 @default.
- W2100170925 citedByCount "2" @default.
- W2100170925 crossrefType "journal-article" @default.
- W2100170925 hasAuthorship W2100170925A5005563514 @default.
- W2100170925 hasAuthorship W2100170925A5034830417 @default.
- W2100170925 hasConcept C121332964 @default.
- W2100170925 hasConcept C136119220 @default.
- W2100170925 hasConcept C161771561 @default.
- W2100170925 hasConcept C199360897 @default.
- W2100170925 hasConcept C202444582 @default.
- W2100170925 hasConcept C2778029271 @default.
- W2100170925 hasConcept C32848918 @default.
- W2100170925 hasConcept C33923547 @default.
- W2100170925 hasConcept C41008148 @default.
- W2100170925 hasConcept C62520636 @default.
- W2100170925 hasConcept C80444323 @default.
- W2100170925 hasConcept C98045186 @default.
- W2100170925 hasConceptScore W2100170925C121332964 @default.
- W2100170925 hasConceptScore W2100170925C136119220 @default.
- W2100170925 hasConceptScore W2100170925C161771561 @default.
- W2100170925 hasConceptScore W2100170925C199360897 @default.
- W2100170925 hasConceptScore W2100170925C202444582 @default.
- W2100170925 hasConceptScore W2100170925C2778029271 @default.
- W2100170925 hasConceptScore W2100170925C32848918 @default.
- W2100170925 hasConceptScore W2100170925C33923547 @default.
- W2100170925 hasConceptScore W2100170925C41008148 @default.
- W2100170925 hasConceptScore W2100170925C62520636 @default.
- W2100170925 hasConceptScore W2100170925C80444323 @default.
- W2100170925 hasConceptScore W2100170925C98045186 @default.
- W2100170925 hasLocation W21001709251 @default.
- W2100170925 hasOpenAccess W2100170925 @default.
- W2100170925 hasPrimaryLocation W21001709251 @default.
- W2100170925 hasRelatedWork W141189550 @default.
- W2100170925 hasRelatedWork W1491754168 @default.
- W2100170925 hasRelatedWork W1502827198 @default.
- W2100170925 hasRelatedWork W1510151966 @default.
- W2100170925 hasRelatedWork W1517015850 @default.
- W2100170925 hasRelatedWork W1556063903 @default.
- W2100170925 hasRelatedWork W1605849705 @default.
- W2100170925 hasRelatedWork W1710734151 @default.
- W2100170925 hasRelatedWork W1868341999 @default.
- W2100170925 hasRelatedWork W2088764183 @default.
- W2100170925 hasRelatedWork W2102460567 @default.
- W2100170925 hasRelatedWork W2145366203 @default.
- W2100170925 hasRelatedWork W2152947535 @default.
- W2100170925 hasRelatedWork W2751998922 @default.
- W2100170925 hasRelatedWork W2809107414 @default.
- W2100170925 hasRelatedWork W3190539376 @default.
- W2100170925 hasRelatedWork W66252900 @default.
- W2100170925 hasRelatedWork W76651218 @default.
- W2100170925 hasRelatedWork W163190568 @default.
- W2100170925 hasRelatedWork W1889562395 @default.
- W2100170925 hasVolume "9601" @default.
- W2100170925 isParatext "false" @default.
- W2100170925 isRetracted "false" @default.
- W2100170925 magId "2100170925" @default.
- W2100170925 workType "article" @default.