Matches in SemOpenAlex for { <https://semopenalex.org/work/W2066498047> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2066498047 endingPage "251" @default.
- W2066498047 startingPage "239" @default.
- W2066498047 abstract "Several types of trees are proposed in the literature to model the behaviour of nondeterministic processes. The purpose of this paper is to clarify the distinction between the various types of trees and to discuss their use as semantic domains. Trees (in the sense of Milner's derivation trees) and bisimulation equivalence classes of trees are considered in three different settings: in the category of sets, in the metric setting and in the partial order setting. Each type of tree is characterized by a domain equation. Special attention is given to the use of trees as models for processes which allow for unbounded nondeterminism as for instance Milners CCS processes. In this case one has to deal with infinitely branching trees which cause problems to give denotational semantics that are fully abstract w.r.t. a transition system based operational semantics." @default.
- W2066498047 created "2016-06-24" @default.
- W2066498047 creator A5051297843 @default.
- W2066498047 creator A5054776214 @default.
- W2066498047 creator A5062922578 @default.
- W2066498047 date "1995-03-01" @default.
- W2066498047 modified "2023-09-24" @default.
- W2066498047 title "A model for timed-probabilistic behaviors" @default.
- W2066498047 cites W135832138 @default.
- W2066498047 cites W1485090468 @default.
- W2066498047 cites W1559986400 @default.
- W2066498047 cites W1579183220 @default.
- W2066498047 cites W1888060836 @default.
- W2066498047 cites W1976268573 @default.
- W2066498047 cites W1980219959 @default.
- W2066498047 cites W2098737431 @default.
- W2066498047 cites W2112710730 @default.
- W2066498047 cites W2157999317 @default.
- W2066498047 cites W2808929286 @default.
- W2066498047 cites W41091435 @default.
- W2066498047 cites W87281048 @default.
- W2066498047 doi "https://doi.org/10.1016/0164-1212(94)00059-v" @default.
- W2066498047 hasPublicationYear "1995" @default.
- W2066498047 type Work @default.
- W2066498047 sameAs 2066498047 @default.
- W2066498047 citedByCount "1" @default.
- W2066498047 crossrefType "journal-article" @default.
- W2066498047 hasAuthorship W2066498047A5051297843 @default.
- W2066498047 hasAuthorship W2066498047A5054776214 @default.
- W2066498047 hasAuthorship W2066498047A5062922578 @default.
- W2066498047 hasConcept C113174947 @default.
- W2066498047 hasConcept C114614502 @default.
- W2066498047 hasConcept C118615104 @default.
- W2066498047 hasConcept C135315306 @default.
- W2066498047 hasConcept C156325763 @default.
- W2066498047 hasConcept C159985019 @default.
- W2066498047 hasConcept C176181172 @default.
- W2066498047 hasConcept C184337299 @default.
- W2066498047 hasConcept C192562407 @default.
- W2066498047 hasConcept C199360897 @default.
- W2066498047 hasConcept C206175624 @default.
- W2066498047 hasConcept C207648694 @default.
- W2066498047 hasConcept C2780069185 @default.
- W2066498047 hasConcept C29585364 @default.
- W2066498047 hasConcept C33923547 @default.
- W2066498047 hasConcept C41008148 @default.
- W2066498047 hasConcept C80444323 @default.
- W2066498047 hasConceptScore W2066498047C113174947 @default.
- W2066498047 hasConceptScore W2066498047C114614502 @default.
- W2066498047 hasConceptScore W2066498047C118615104 @default.
- W2066498047 hasConceptScore W2066498047C135315306 @default.
- W2066498047 hasConceptScore W2066498047C156325763 @default.
- W2066498047 hasConceptScore W2066498047C159985019 @default.
- W2066498047 hasConceptScore W2066498047C176181172 @default.
- W2066498047 hasConceptScore W2066498047C184337299 @default.
- W2066498047 hasConceptScore W2066498047C192562407 @default.
- W2066498047 hasConceptScore W2066498047C199360897 @default.
- W2066498047 hasConceptScore W2066498047C206175624 @default.
- W2066498047 hasConceptScore W2066498047C207648694 @default.
- W2066498047 hasConceptScore W2066498047C2780069185 @default.
- W2066498047 hasConceptScore W2066498047C29585364 @default.
- W2066498047 hasConceptScore W2066498047C33923547 @default.
- W2066498047 hasConceptScore W2066498047C41008148 @default.
- W2066498047 hasConceptScore W2066498047C80444323 @default.
- W2066498047 hasIssue "3" @default.
- W2066498047 hasLocation W20664980471 @default.
- W2066498047 hasOpenAccess W2066498047 @default.
- W2066498047 hasPrimaryLocation W20664980471 @default.
- W2066498047 hasRelatedWork W1493948694 @default.
- W2066498047 hasRelatedWork W1536150964 @default.
- W2066498047 hasRelatedWork W1878098282 @default.
- W2066498047 hasRelatedWork W2000491559 @default.
- W2066498047 hasRelatedWork W2037785443 @default.
- W2066498047 hasRelatedWork W2047273923 @default.
- W2066498047 hasRelatedWork W2073617562 @default.
- W2066498047 hasRelatedWork W2144793956 @default.
- W2066498047 hasRelatedWork W2148160518 @default.
- W2066498047 hasRelatedWork W2551539219 @default.
- W2066498047 hasVolume "28" @default.
- W2066498047 isParatext "false" @default.
- W2066498047 isRetracted "false" @default.
- W2066498047 magId "2066498047" @default.
- W2066498047 workType "article" @default.