Matches in SemOpenAlex for { <https://semopenalex.org/work/W60270445> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W60270445 abstract "We study Basic Process Algebra with interrupt modulo complete trace equivalence. We show that, unlike in the setting of the more demanding bisimilarity, a ground complete finite axiomatization exists. We explicitly give such an axiomatization, and extend it to a finite complete one in the special case when a single action is present." @default.
- W60270445 created "2016-06-24" @default.
- W60270445 creator A5016540152 @default.
- W60270445 creator A5041913577 @default.
- W60270445 creator A5091012728 @default.
- W60270445 date "2007-02-12" @default.
- W60270445 modified "2023-10-17" @default.
- W60270445 title "On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt" @default.
- W60270445 cites W1503973138 @default.
- W60270445 cites W1547562281 @default.
- W60270445 cites W1964327668 @default.
- W60270445 cites W1976081874 @default.
- W60270445 cites W2095975761 @default.
- W60270445 cites W2108192909 @default.
- W60270445 cites W2137250214 @default.
- W60270445 cites W2138298515 @default.
- W60270445 cites W2142944765 @default.
- W60270445 cites W2158342623 @default.
- W60270445 cites W2222296167 @default.
- W60270445 doi "https://doi.org/10.7146/brics.v14i5.21928" @default.
- W60270445 hasPublicationYear "2007" @default.
- W60270445 type Work @default.
- W60270445 sameAs 60270445 @default.
- W60270445 citedByCount "2" @default.
- W60270445 countsByYear W602704452013 @default.
- W60270445 crossrefType "journal-article" @default.
- W60270445 hasAuthorship W60270445A5016540152 @default.
- W60270445 hasAuthorship W60270445A5041913577 @default.
- W60270445 hasAuthorship W60270445A5091012728 @default.
- W60270445 hasBestOaLocation W602704451 @default.
- W60270445 hasConcept C118615104 @default.
- W60270445 hasConcept C134306372 @default.
- W60270445 hasConcept C136119220 @default.
- W60270445 hasConcept C138885662 @default.
- W60270445 hasConcept C161771561 @default.
- W60270445 hasConcept C202444582 @default.
- W60270445 hasConcept C2780069185 @default.
- W60270445 hasConcept C33923547 @default.
- W60270445 hasConcept C41008148 @default.
- W60270445 hasConcept C41661131 @default.
- W60270445 hasConcept C41895202 @default.
- W60270445 hasConcept C42058472 @default.
- W60270445 hasConcept C54732982 @default.
- W60270445 hasConcept C75291252 @default.
- W60270445 hasConcept C761482 @default.
- W60270445 hasConcept C76155785 @default.
- W60270445 hasConcept C80444323 @default.
- W60270445 hasConceptScore W60270445C118615104 @default.
- W60270445 hasConceptScore W60270445C134306372 @default.
- W60270445 hasConceptScore W60270445C136119220 @default.
- W60270445 hasConceptScore W60270445C138885662 @default.
- W60270445 hasConceptScore W60270445C161771561 @default.
- W60270445 hasConceptScore W60270445C202444582 @default.
- W60270445 hasConceptScore W60270445C2780069185 @default.
- W60270445 hasConceptScore W60270445C33923547 @default.
- W60270445 hasConceptScore W60270445C41008148 @default.
- W60270445 hasConceptScore W60270445C41661131 @default.
- W60270445 hasConceptScore W60270445C41895202 @default.
- W60270445 hasConceptScore W60270445C42058472 @default.
- W60270445 hasConceptScore W60270445C54732982 @default.
- W60270445 hasConceptScore W60270445C75291252 @default.
- W60270445 hasConceptScore W60270445C761482 @default.
- W60270445 hasConceptScore W60270445C76155785 @default.
- W60270445 hasConceptScore W60270445C80444323 @default.
- W60270445 hasIssue "5" @default.
- W60270445 hasLocation W602704451 @default.
- W60270445 hasLocation W602704452 @default.
- W60270445 hasOpenAccess W60270445 @default.
- W60270445 hasPrimaryLocation W602704451 @default.
- W60270445 hasRelatedWork W1491754168 @default.
- W60270445 hasRelatedWork W1578992643 @default.
- W60270445 hasRelatedWork W2059034874 @default.
- W60270445 hasRelatedWork W2116486164 @default.
- W60270445 hasRelatedWork W2964187826 @default.
- W60270445 hasRelatedWork W3085595940 @default.
- W60270445 hasRelatedWork W3101324537 @default.
- W60270445 hasRelatedWork W4214858092 @default.
- W60270445 hasRelatedWork W4280511095 @default.
- W60270445 hasRelatedWork W60270445 @default.
- W60270445 hasVolume "14" @default.
- W60270445 isParatext "false" @default.
- W60270445 isRetracted "false" @default.
- W60270445 magId "60270445" @default.
- W60270445 workType "article" @default.