Matches in SemOpenAlex for { <https://semopenalex.org/work/W1975791434> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1975791434 endingPage "75" @default.
- W1975791434 startingPage "51" @default.
- W1975791434 abstract "We are concerned with the static analysis of the communication topology for systems of mobile processes. For this purpose we construct an abstract interpretation of a large fragment of the π-calculus which can be used as a metalanguage to specify the behaviour of these systems. The abstract domain is expressive enough to give accurate descriptions of infinite and non-uniform distributions of processes and communication channels. We design appropriate widening operators for the automatic inference of such information." @default.
- W1975791434 created "2016-06-24" @default.
- W1975791434 creator A5061182324 @default.
- W1975791434 date "1997-01-01" @default.
- W1975791434 modified "2023-10-13" @default.
- W1975791434 title "Abstract interpretation of the π-calculus" @default.
- W1975791434 cites W1537510808 @default.
- W1975791434 cites W1573087405 @default.
- W1975791434 cites W1579974221 @default.
- W1975791434 cites W1726736548 @default.
- W1975791434 cites W1965564224 @default.
- W1975791434 cites W1997456729 @default.
- W1975791434 cites W2031373197 @default.
- W1975791434 cites W2036601332 @default.
- W1975791434 cites W2043100293 @default.
- W1975791434 cites W2055341574 @default.
- W1975791434 cites W2055378322 @default.
- W1975791434 cites W2084875723 @default.
- W1975791434 cites W2102440514 @default.
- W1975791434 cites W2128932399 @default.
- W1975791434 cites W2132661148 @default.
- W1975791434 cites W2170626879 @default.
- W1975791434 cites W3020829080 @default.
- W1975791434 doi "https://doi.org/10.1007/3-540-62503-8_3" @default.
- W1975791434 hasPublicationYear "1997" @default.
- W1975791434 type Work @default.
- W1975791434 sameAs 1975791434 @default.
- W1975791434 citedByCount "21" @default.
- W1975791434 countsByYear W19757914342012 @default.
- W1975791434 countsByYear W19757914342013 @default.
- W1975791434 countsByYear W19757914342021 @default.
- W1975791434 crossrefType "book-chapter" @default.
- W1975791434 hasAuthorship W1975791434A5061182324 @default.
- W1975791434 hasConcept C134306372 @default.
- W1975791434 hasConcept C142998047 @default.
- W1975791434 hasConcept C154945302 @default.
- W1975791434 hasConcept C199343813 @default.
- W1975791434 hasConcept C199360897 @default.
- W1975791434 hasConcept C2776214188 @default.
- W1975791434 hasConcept C2777686260 @default.
- W1975791434 hasConcept C2780654840 @default.
- W1975791434 hasConcept C2780801425 @default.
- W1975791434 hasConcept C2984882572 @default.
- W1975791434 hasConcept C33923547 @default.
- W1975791434 hasConcept C36503486 @default.
- W1975791434 hasConcept C41008148 @default.
- W1975791434 hasConcept C527412718 @default.
- W1975791434 hasConcept C71924100 @default.
- W1975791434 hasConcept C80444323 @default.
- W1975791434 hasConceptScore W1975791434C134306372 @default.
- W1975791434 hasConceptScore W1975791434C142998047 @default.
- W1975791434 hasConceptScore W1975791434C154945302 @default.
- W1975791434 hasConceptScore W1975791434C199343813 @default.
- W1975791434 hasConceptScore W1975791434C199360897 @default.
- W1975791434 hasConceptScore W1975791434C2776214188 @default.
- W1975791434 hasConceptScore W1975791434C2777686260 @default.
- W1975791434 hasConceptScore W1975791434C2780654840 @default.
- W1975791434 hasConceptScore W1975791434C2780801425 @default.
- W1975791434 hasConceptScore W1975791434C2984882572 @default.
- W1975791434 hasConceptScore W1975791434C33923547 @default.
- W1975791434 hasConceptScore W1975791434C36503486 @default.
- W1975791434 hasConceptScore W1975791434C41008148 @default.
- W1975791434 hasConceptScore W1975791434C527412718 @default.
- W1975791434 hasConceptScore W1975791434C71924100 @default.
- W1975791434 hasConceptScore W1975791434C80444323 @default.
- W1975791434 hasLocation W19757914341 @default.
- W1975791434 hasOpenAccess W1975791434 @default.
- W1975791434 hasPrimaryLocation W19757914341 @default.
- W1975791434 hasRelatedWork W1599561194 @default.
- W1975791434 hasRelatedWork W1972826059 @default.
- W1975791434 hasRelatedWork W1975791434 @default.
- W1975791434 hasRelatedWork W2050042012 @default.
- W1975791434 hasRelatedWork W2076571272 @default.
- W1975791434 hasRelatedWork W2151662544 @default.
- W1975791434 hasRelatedWork W2191615978 @default.
- W1975791434 hasRelatedWork W3116835002 @default.
- W1975791434 hasRelatedWork W346108402 @default.
- W1975791434 hasRelatedWork W63612211 @default.
- W1975791434 isParatext "false" @default.
- W1975791434 isRetracted "false" @default.
- W1975791434 magId "1975791434" @default.
- W1975791434 workType "book-chapter" @default.