Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038821485> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2038821485 endingPage "303" @default.
- W2038821485 startingPage "299" @default.
- W2038821485 abstract "For the notation of recursion in process algebras there are two common techniques. One uses recursive definitions written as equations, the other uses the so-called rec-notation (also called fix- or μ-notation). Both have their particular rule for generating the operational semantics. This note shows that the (strong bisimulation) equivalence of the two techniques can be proved as a simple exercise." @default.
- W2038821485 created "2016-06-24" @default.
- W2038821485 creator A5048212740 @default.
- W2038821485 date "1991-03-01" @default.
- W2038821485 modified "2023-09-27" @default.
- W2038821485 title "A note on the notation of recursion in process algebras" @default.
- W2038821485 cites W2102097307 @default.
- W2038821485 cites W2144545266 @default.
- W2038821485 doi "https://doi.org/10.1016/0020-0190(91)90145-8" @default.
- W2038821485 hasPublicationYear "1991" @default.
- W2038821485 type Work @default.
- W2038821485 sameAs 2038821485 @default.
- W2038821485 citedByCount "2" @default.
- W2038821485 crossrefType "journal-article" @default.
- W2038821485 hasAuthorship W2038821485A5048212740 @default.
- W2038821485 hasConcept C111472728 @default.
- W2038821485 hasConcept C118615104 @default.
- W2038821485 hasConcept C135315306 @default.
- W2038821485 hasConcept C136119220 @default.
- W2038821485 hasConcept C138885662 @default.
- W2038821485 hasConcept C156325763 @default.
- W2038821485 hasConcept C161771561 @default.
- W2038821485 hasConcept C168773036 @default.
- W2038821485 hasConcept C184337299 @default.
- W2038821485 hasConcept C199360897 @default.
- W2038821485 hasConcept C202444582 @default.
- W2038821485 hasConcept C2780069185 @default.
- W2038821485 hasConcept C2780586882 @default.
- W2038821485 hasConcept C33923547 @default.
- W2038821485 hasConcept C41008148 @default.
- W2038821485 hasConcept C45357846 @default.
- W2038821485 hasConcept C80444323 @default.
- W2038821485 hasConcept C94375191 @default.
- W2038821485 hasConceptScore W2038821485C111472728 @default.
- W2038821485 hasConceptScore W2038821485C118615104 @default.
- W2038821485 hasConceptScore W2038821485C135315306 @default.
- W2038821485 hasConceptScore W2038821485C136119220 @default.
- W2038821485 hasConceptScore W2038821485C138885662 @default.
- W2038821485 hasConceptScore W2038821485C156325763 @default.
- W2038821485 hasConceptScore W2038821485C161771561 @default.
- W2038821485 hasConceptScore W2038821485C168773036 @default.
- W2038821485 hasConceptScore W2038821485C184337299 @default.
- W2038821485 hasConceptScore W2038821485C199360897 @default.
- W2038821485 hasConceptScore W2038821485C202444582 @default.
- W2038821485 hasConceptScore W2038821485C2780069185 @default.
- W2038821485 hasConceptScore W2038821485C2780586882 @default.
- W2038821485 hasConceptScore W2038821485C33923547 @default.
- W2038821485 hasConceptScore W2038821485C41008148 @default.
- W2038821485 hasConceptScore W2038821485C45357846 @default.
- W2038821485 hasConceptScore W2038821485C80444323 @default.
- W2038821485 hasConceptScore W2038821485C94375191 @default.
- W2038821485 hasIssue "6" @default.
- W2038821485 hasLocation W20388214851 @default.
- W2038821485 hasOpenAccess W2038821485 @default.
- W2038821485 hasPrimaryLocation W20388214851 @default.
- W2038821485 hasRelatedWork W1536150964 @default.
- W2038821485 hasRelatedWork W1543496272 @default.
- W2038821485 hasRelatedWork W1804005701 @default.
- W2038821485 hasRelatedWork W2038821485 @default.
- W2038821485 hasRelatedWork W2069441293 @default.
- W2038821485 hasRelatedWork W2073617562 @default.
- W2038821485 hasRelatedWork W2082763846 @default.
- W2038821485 hasRelatedWork W2148160518 @default.
- W2038821485 hasRelatedWork W2167838019 @default.
- W2038821485 hasRelatedWork W2807761056 @default.
- W2038821485 hasVolume "37" @default.
- W2038821485 isParatext "false" @default.
- W2038821485 isRetracted "false" @default.
- W2038821485 magId "2038821485" @default.
- W2038821485 workType "article" @default.