Matches in SemOpenAlex for { <https://semopenalex.org/work/W1897280781> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1897280781 endingPage "595" @default.
- W1897280781 startingPage "583" @default.
- W1897280781 abstract "We discuss a combination of GSOS-type structural operational semantics with explicit termination, that we call the tagh-format (tagh being short for termination and GSOS hybrid).The tagh-format distinguishes between transition and termination rules, but allows besides active and negative premises as in GSOS, also for, what is called terminating and passive arguments. We extend the result of Aceto, Bloom and Vaandrager on the automatic generation of sound and complete axiomatizations for GSOSto the setting of tagh-transition system specifications.The construction of the equational theory is based upon the notion of a smooth and distinctive operation, which have been generalized from GSOS to tagh.The examples provided indicate a signifi- cant improvement over the mechanical axiomatization techniques known so far." @default.
- W1897280781 created "2016-06-24" @default.
- W1897280781 creator A5009512104 @default.
- W1897280781 creator A5018760156 @default.
- W1897280781 date "2002-01-01" @default.
- W1897280781 modified "2023-09-25" @default.
- W1897280781 title "Axiomatizing GSOS with Termination" @default.
- W1897280781 cites W1578325940 @default.
- W1897280781 cites W1966112122 @default.
- W1897280781 cites W2017189999 @default.
- W1897280781 cites W2105135809 @default.
- W1897280781 cites W2112320167 @default.
- W1897280781 cites W2137250214 @default.
- W1897280781 cites W2142919644 @default.
- W1897280781 cites W4244719572 @default.
- W1897280781 doi "https://doi.org/10.1007/3-540-45841-7_48" @default.
- W1897280781 hasPublicationYear "2002" @default.
- W1897280781 type Work @default.
- W1897280781 sameAs 1897280781 @default.
- W1897280781 citedByCount "9" @default.
- W1897280781 countsByYear W18972807812012 @default.
- W1897280781 crossrefType "book-chapter" @default.
- W1897280781 hasAuthorship W1897280781A5009512104 @default.
- W1897280781 hasAuthorship W1897280781A5018760156 @default.
- W1897280781 hasBestOaLocation W18972807812 @default.
- W1897280781 hasConcept C11413529 @default.
- W1897280781 hasConcept C156325763 @default.
- W1897280781 hasConcept C159333733 @default.
- W1897280781 hasConcept C184337299 @default.
- W1897280781 hasConcept C199343813 @default.
- W1897280781 hasConcept C199360897 @default.
- W1897280781 hasConcept C2777686260 @default.
- W1897280781 hasConcept C2779167558 @default.
- W1897280781 hasConcept C41008148 @default.
- W1897280781 hasConcept C71924100 @default.
- W1897280781 hasConcept C80444323 @default.
- W1897280781 hasConceptScore W1897280781C11413529 @default.
- W1897280781 hasConceptScore W1897280781C156325763 @default.
- W1897280781 hasConceptScore W1897280781C159333733 @default.
- W1897280781 hasConceptScore W1897280781C184337299 @default.
- W1897280781 hasConceptScore W1897280781C199343813 @default.
- W1897280781 hasConceptScore W1897280781C199360897 @default.
- W1897280781 hasConceptScore W1897280781C2777686260 @default.
- W1897280781 hasConceptScore W1897280781C2779167558 @default.
- W1897280781 hasConceptScore W1897280781C41008148 @default.
- W1897280781 hasConceptScore W1897280781C71924100 @default.
- W1897280781 hasConceptScore W1897280781C80444323 @default.
- W1897280781 hasLocation W18972807811 @default.
- W1897280781 hasLocation W18972807812 @default.
- W1897280781 hasLocation W18972807813 @default.
- W1897280781 hasOpenAccess W1897280781 @default.
- W1897280781 hasPrimaryLocation W18972807811 @default.
- W1897280781 hasRelatedWork W1557629507 @default.
- W1897280781 hasRelatedWork W1565338810 @default.
- W1897280781 hasRelatedWork W1855927527 @default.
- W1897280781 hasRelatedWork W2090686886 @default.
- W1897280781 hasRelatedWork W2106221267 @default.
- W1897280781 hasRelatedWork W2146445117 @default.
- W1897280781 hasRelatedWork W2149952006 @default.
- W1897280781 hasRelatedWork W2167838019 @default.
- W1897280781 hasRelatedWork W2807761056 @default.
- W1897280781 hasRelatedWork W97582271 @default.
- W1897280781 isParatext "false" @default.
- W1897280781 isRetracted "false" @default.
- W1897280781 magId "1897280781" @default.
- W1897280781 workType "book-chapter" @default.