Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569743961> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1569743961 endingPage "296" @default.
- W1569743961 startingPage "289" @default.
- W1569743961 abstract "A new bisimulation based semantics, called performance equivalence, is proposed for a finite process algebra. It equates systems whenever they perform the same actions in the same amount of time, thus introducing a simple form of performance evaluation in process algebras. A comparison with other equivalences is provided; in particular, we show that performance equivalence is strictly finer than step bisimulation equivalence and strictly coarser than partial ordering bisimulation equivalence." @default.
- W1569743961 created "2016-06-24" @default.
- W1569743961 creator A5000720054 @default.
- W1569743961 creator A5025338247 @default.
- W1569743961 date "1994-01-01" @default.
- W1569743961 modified "2023-09-27" @default.
- W1569743961 title "Towards Performance Evaluation in Process Algebras" @default.
- W1569743961 cites W1602232868 @default.
- W1569743961 cites W1604894272 @default.
- W1569743961 cites W1835144199 @default.
- W1569743961 cites W1879394417 @default.
- W1569743961 doi "https://doi.org/10.1007/978-1-4471-3227-1_30" @default.
- W1569743961 hasPublicationYear "1994" @default.
- W1569743961 type Work @default.
- W1569743961 sameAs 1569743961 @default.
- W1569743961 citedByCount "16" @default.
- W1569743961 countsByYear W15697439612012 @default.
- W1569743961 crossrefType "book-chapter" @default.
- W1569743961 hasAuthorship W1569743961A5000720054 @default.
- W1569743961 hasAuthorship W1569743961A5025338247 @default.
- W1569743961 hasConcept C135315306 @default.
- W1569743961 hasConcept C136119220 @default.
- W1569743961 hasConcept C161771561 @default.
- W1569743961 hasConcept C184337299 @default.
- W1569743961 hasConcept C199360897 @default.
- W1569743961 hasConcept C202444582 @default.
- W1569743961 hasConcept C2780069185 @default.
- W1569743961 hasConcept C33923547 @default.
- W1569743961 hasConcept C41008148 @default.
- W1569743961 hasConcept C80444323 @default.
- W1569743961 hasConcept C98045186 @default.
- W1569743961 hasConceptScore W1569743961C135315306 @default.
- W1569743961 hasConceptScore W1569743961C136119220 @default.
- W1569743961 hasConceptScore W1569743961C161771561 @default.
- W1569743961 hasConceptScore W1569743961C184337299 @default.
- W1569743961 hasConceptScore W1569743961C199360897 @default.
- W1569743961 hasConceptScore W1569743961C202444582 @default.
- W1569743961 hasConceptScore W1569743961C2780069185 @default.
- W1569743961 hasConceptScore W1569743961C33923547 @default.
- W1569743961 hasConceptScore W1569743961C41008148 @default.
- W1569743961 hasConceptScore W1569743961C80444323 @default.
- W1569743961 hasConceptScore W1569743961C98045186 @default.
- W1569743961 hasLocation W15697439611 @default.
- W1569743961 hasOpenAccess W1569743961 @default.
- W1569743961 hasPrimaryLocation W15697439611 @default.
- W1569743961 hasRelatedWork W103974107 @default.
- W1569743961 hasRelatedWork W1486383653 @default.
- W1569743961 hasRelatedWork W1491976353 @default.
- W1569743961 hasRelatedWork W1495199168 @default.
- W1569743961 hasRelatedWork W1501020965 @default.
- W1569743961 hasRelatedWork W1503973138 @default.
- W1569743961 hasRelatedWork W1559986400 @default.
- W1569743961 hasRelatedWork W1575288406 @default.
- W1569743961 hasRelatedWork W1587275578 @default.
- W1569743961 hasRelatedWork W1604894272 @default.
- W1569743961 hasRelatedWork W1971107784 @default.
- W1569743961 hasRelatedWork W1973351415 @default.
- W1569743961 hasRelatedWork W2002076098 @default.
- W1569743961 hasRelatedWork W2022360370 @default.
- W1569743961 hasRelatedWork W2126860147 @default.
- W1569743961 hasRelatedWork W2128932399 @default.
- W1569743961 hasRelatedWork W2138549619 @default.
- W1569743961 hasRelatedWork W2155852086 @default.
- W1569743961 hasRelatedWork W3144368627 @default.
- W1569743961 hasRelatedWork W3820865 @default.
- W1569743961 isParatext "false" @default.
- W1569743961 isRetracted "false" @default.
- W1569743961 magId "1569743961" @default.
- W1569743961 workType "book-chapter" @default.