Matches in SemOpenAlex for { <https://semopenalex.org/work/W1543260268> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1543260268 abstract "This paper is concerned with the relation of abstraction between operational and observational models for linear time semantics of C.C.S. We construct a compositional and fully abstract model for CCS under infinite (program defined) experiments which give maximal power of separation. The construction is in two stages:" @default.
- W1543260268 created "2016-06-24" @default.
- W1543260268 creator A5026927203 @default.
- W1543260268 creator A5091184775 @default.
- W1543260268 date "1987-01-01" @default.
- W1543260268 modified "2023-09-23" @default.
- W1543260268 title "A fully observational model for infinite behaviours of communicating systems" @default.
- W1543260268 cites W1487199072 @default.
- W1543260268 cites W1490390913 @default.
- W1543260268 cites W1575539438 @default.
- W1543260268 cites W1581774065 @default.
- W1543260268 cites W1587109753 @default.
- W1543260268 cites W1747842575 @default.
- W1543260268 cites W1883772204 @default.
- W1543260268 cites W1992072860 @default.
- W1543260268 cites W2000059452 @default.
- W1543260268 cites W2037185109 @default.
- W1543260268 cites W2039112578 @default.
- W1543260268 cites W2046213250 @default.
- W1543260268 cites W2144545266 @default.
- W1543260268 cites W2149314970 @default.
- W1543260268 cites W2157144873 @default.
- W1543260268 cites W2294826973 @default.
- W1543260268 cites W35522213 @default.
- W1543260268 doi "https://doi.org/10.1007/3-540-17660-8_54" @default.
- W1543260268 hasPublicationYear "1987" @default.
- W1543260268 type Work @default.
- W1543260268 sameAs 1543260268 @default.
- W1543260268 citedByCount "6" @default.
- W1543260268 crossrefType "book-chapter" @default.
- W1543260268 hasAuthorship W1543260268A5026927203 @default.
- W1543260268 hasAuthorship W1543260268A5091184775 @default.
- W1543260268 hasBestOaLocation W15432602681 @default.
- W1543260268 hasConcept C105795698 @default.
- W1543260268 hasConcept C111472728 @default.
- W1543260268 hasConcept C11413529 @default.
- W1543260268 hasConcept C121332964 @default.
- W1543260268 hasConcept C124101348 @default.
- W1543260268 hasConcept C124304363 @default.
- W1543260268 hasConcept C138885662 @default.
- W1543260268 hasConcept C168167062 @default.
- W1543260268 hasConcept C184337299 @default.
- W1543260268 hasConcept C195818886 @default.
- W1543260268 hasConcept C199360897 @default.
- W1543260268 hasConcept C23131810 @default.
- W1543260268 hasConcept C25343380 @default.
- W1543260268 hasConcept C2780801425 @default.
- W1543260268 hasConcept C33923547 @default.
- W1543260268 hasConcept C41008148 @default.
- W1543260268 hasConcept C80444323 @default.
- W1543260268 hasConcept C97355855 @default.
- W1543260268 hasConceptScore W1543260268C105795698 @default.
- W1543260268 hasConceptScore W1543260268C111472728 @default.
- W1543260268 hasConceptScore W1543260268C11413529 @default.
- W1543260268 hasConceptScore W1543260268C121332964 @default.
- W1543260268 hasConceptScore W1543260268C124101348 @default.
- W1543260268 hasConceptScore W1543260268C124304363 @default.
- W1543260268 hasConceptScore W1543260268C138885662 @default.
- W1543260268 hasConceptScore W1543260268C168167062 @default.
- W1543260268 hasConceptScore W1543260268C184337299 @default.
- W1543260268 hasConceptScore W1543260268C195818886 @default.
- W1543260268 hasConceptScore W1543260268C199360897 @default.
- W1543260268 hasConceptScore W1543260268C23131810 @default.
- W1543260268 hasConceptScore W1543260268C25343380 @default.
- W1543260268 hasConceptScore W1543260268C2780801425 @default.
- W1543260268 hasConceptScore W1543260268C33923547 @default.
- W1543260268 hasConceptScore W1543260268C41008148 @default.
- W1543260268 hasConceptScore W1543260268C80444323 @default.
- W1543260268 hasConceptScore W1543260268C97355855 @default.
- W1543260268 hasLocation W15432602681 @default.
- W1543260268 hasOpenAccess W1543260268 @default.
- W1543260268 hasPrimaryLocation W15432602681 @default.
- W1543260268 hasRelatedWork W1548292705 @default.
- W1543260268 hasRelatedWork W1554547044 @default.
- W1543260268 hasRelatedWork W1577692163 @default.
- W1543260268 hasRelatedWork W1993062879 @default.
- W1543260268 hasRelatedWork W2044774081 @default.
- W1543260268 hasRelatedWork W2052858718 @default.
- W1543260268 hasRelatedWork W2053504864 @default.
- W1543260268 hasRelatedWork W2085809004 @default.
- W1543260268 hasRelatedWork W2094545952 @default.
- W1543260268 hasRelatedWork W2099811898 @default.
- W1543260268 hasRelatedWork W2125500714 @default.
- W1543260268 hasRelatedWork W2137865376 @default.
- W1543260268 hasRelatedWork W2158451830 @default.
- W1543260268 hasRelatedWork W2259853674 @default.
- W1543260268 hasRelatedWork W2766896145 @default.
- W1543260268 hasRelatedWork W2787226095 @default.
- W1543260268 hasRelatedWork W2884148430 @default.
- W1543260268 hasRelatedWork W2889348608 @default.
- W1543260268 hasRelatedWork W2979609412 @default.
- W1543260268 hasRelatedWork W3102277608 @default.
- W1543260268 isParatext "false" @default.
- W1543260268 isRetracted "false" @default.
- W1543260268 magId "1543260268" @default.
- W1543260268 workType "book-chapter" @default.