Matches in SemOpenAlex for { <https://semopenalex.org/work/W848138105> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W848138105 abstract "Nondeterminism and recursion.- Operational semantics.- Denotational semantics.- Metric spaces.- Comparative semantics.- Bibliographic notes.- I.- 1 Domain equations.- 1.1 Building domain equations.- 1.2 Solving domain equations.- 1.3 Bibliographic notes.- 2 Linear and branching domains.- 2.1 Two linear domains.- 2.2 Comparison of the linear domains.- 2.3 Three branching domains.- 2.4 Comparison of the branching domains.- 2.5 Relating linear and branching domains.- 2.6 Bibliographic notes.- II.- 3 Operational semantics.- 3.1 Labelled transition systems.- 3.2 Operational semantics.- 3.3 Linear semantics transformations.- 3.3.1 Compactness preserving.- 3.3.2 Closedness preserving.- 3.4 Branching semantics transformations.- 3.4.1 Compactness preserving.- 3.4.2 Closedness preserving.- 3.5 Relating semantics transformations.- 3.6 Bibliographic notes.- 4 Nondeterministic choice.- 4.1 Language definition.- 4.2 Operational semantics.- 4.3 Denotational semantics.- 4.4 Relating O and D.- 4.5 Bibliographic notes.- 5 Random assignment.- 5.1 Language definition.- 5.2 Operational semantics.- 5.3 Denotational semantics.- 5.4 Relating O and D.- 5.5 Bibliographic notes.- III.- 6 Generalized finiteness conditions.- 6.1 Metric labelled transition systems.- 6.2 Operational semantics.- 6.3 Linear semantics transformations.- 6.3.1 Compactness and nonexpansiveness preserving.- 6.3.2 Closedness and nonexpansiveness preserving.- 6.4 Branching semantics transformations.- 6.5 Relating semantics transformations.- 6.6 Bibliographic notes.- 7 Dense choice.- 7.1 Language definition.- 7.2 Operational semantics.- 7.3 Denotational semantics.- 7.4 Relating O and D.- 7.5 Bibliographic notes.- 8 Second order communication.- 8.1 Language definition.- 8.2 Operational semantics.- 8.3 Denotational semantics.- 8.4 Relating O and D.- 8.4.1 Intermediate semantics.- 8.4.2 Relating I and D.- 8.4.3 Relating O and I.- 8.5 Bibliographic notes.- A Metric spaces.- A.1 Metrics.- A.2 Completeness and contractiveness.- A.3 Hyperspaces.- A.4 Nonexpansive functions.- A.5 Bibliographic notes.- Author index." @default.
- W848138105 created "2016-06-24" @default.
- W848138105 creator A5072850911 @default.
- W848138105 date "1998-01-01" @default.
- W848138105 modified "2023-09-23" @default.
- W848138105 title "Comparative metric semantics of programming languages : nondeterminism and recursion" @default.
- W848138105 hasPublicationYear "1998" @default.
- W848138105 type Work @default.
- W848138105 sameAs 848138105 @default.
- W848138105 citedByCount "3" @default.
- W848138105 crossrefType "book" @default.
- W848138105 hasAuthorship W848138105A5072850911 @default.
- W848138105 hasConcept C118615104 @default.
- W848138105 hasConcept C136119220 @default.
- W848138105 hasConcept C150607116 @default.
- W848138105 hasConcept C156325763 @default.
- W848138105 hasConcept C159985019 @default.
- W848138105 hasConcept C184337299 @default.
- W848138105 hasConcept C192562407 @default.
- W848138105 hasConcept C199360897 @default.
- W848138105 hasConcept C202444582 @default.
- W848138105 hasConcept C206175624 @default.
- W848138105 hasConcept C207648694 @default.
- W848138105 hasConcept C29585364 @default.
- W848138105 hasConcept C33923547 @default.
- W848138105 hasConcept C41008148 @default.
- W848138105 hasConcept C87365073 @default.
- W848138105 hasConcept C89448276 @default.
- W848138105 hasConcept C89497691 @default.
- W848138105 hasConceptScore W848138105C118615104 @default.
- W848138105 hasConceptScore W848138105C136119220 @default.
- W848138105 hasConceptScore W848138105C150607116 @default.
- W848138105 hasConceptScore W848138105C156325763 @default.
- W848138105 hasConceptScore W848138105C159985019 @default.
- W848138105 hasConceptScore W848138105C184337299 @default.
- W848138105 hasConceptScore W848138105C192562407 @default.
- W848138105 hasConceptScore W848138105C199360897 @default.
- W848138105 hasConceptScore W848138105C202444582 @default.
- W848138105 hasConceptScore W848138105C206175624 @default.
- W848138105 hasConceptScore W848138105C207648694 @default.
- W848138105 hasConceptScore W848138105C29585364 @default.
- W848138105 hasConceptScore W848138105C33923547 @default.
- W848138105 hasConceptScore W848138105C41008148 @default.
- W848138105 hasConceptScore W848138105C87365073 @default.
- W848138105 hasConceptScore W848138105C89448276 @default.
- W848138105 hasConceptScore W848138105C89497691 @default.
- W848138105 hasLocation W8481381051 @default.
- W848138105 hasOpenAccess W848138105 @default.
- W848138105 hasPrimaryLocation W8481381051 @default.
- W848138105 hasRelatedWork W1485214019 @default.
- W848138105 hasRelatedWork W1514943866 @default.
- W848138105 hasRelatedWork W1523024696 @default.
- W848138105 hasRelatedWork W1551132038 @default.
- W848138105 hasRelatedWork W1562506862 @default.
- W848138105 hasRelatedWork W1579430083 @default.
- W848138105 hasRelatedWork W1976146918 @default.
- W848138105 hasRelatedWork W1978279952 @default.
- W848138105 hasRelatedWork W2031588198 @default.
- W848138105 hasRelatedWork W2041565413 @default.
- W848138105 hasRelatedWork W2061786858 @default.
- W848138105 hasRelatedWork W2101032471 @default.
- W848138105 hasRelatedWork W2142757043 @default.
- W848138105 hasRelatedWork W2154929064 @default.
- W848138105 hasRelatedWork W2162418869 @default.
- W848138105 hasRelatedWork W2468001999 @default.
- W848138105 hasRelatedWork W2744363104 @default.
- W848138105 hasRelatedWork W2970973451 @default.
- W848138105 hasRelatedWork W62489626 @default.
- W848138105 hasRelatedWork W2115594554 @default.
- W848138105 isParatext "false" @default.
- W848138105 isRetracted "false" @default.
- W848138105 magId "848138105" @default.
- W848138105 workType "book" @default.