Matches in SemOpenAlex for { <https://semopenalex.org/work/W1857455428> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1857455428 endingPage "197" @default.
- W1857455428 startingPage "183" @default.
- W1857455428 abstract "This paper suggests functional programming languages with coinductive types as suitable devices for prototyping process calculi. The proposed approach is independent of any particular process calculus and makes explicit the different ingredients present in the design of any such calculi. In particular structural aspects of the underlying behaviour model become clearly separated from the interaction structure which defines the synchronisation discipline. The approach is illustrated by the detailed development in CHARITY of an interpreter for a family of process languages." @default.
- W1857455428 created "2016-06-24" @default.
- W1857455428 creator A5062334330 @default.
- W1857455428 creator A5070407243 @default.
- W1857455428 date "2002-01-01" @default.
- W1857455428 modified "2023-10-18" @default.
- W1857455428 title "Coinductive Interpreters for Process Calculi" @default.
- W1857455428 cites W1508224656 @default.
- W1857455428 cites W1544933093 @default.
- W1857455428 cites W1608714802 @default.
- W1857455428 cites W2017778827 @default.
- W1857455428 cites W2029017938 @default.
- W1857455428 cites W2058137890 @default.
- W1857455428 cites W2088189323 @default.
- W1857455428 cites W2104603764 @default.
- W1857455428 cites W2128932399 @default.
- W1857455428 cites W4244792373 @default.
- W1857455428 doi "https://doi.org/10.1007/3-540-45788-7_11" @default.
- W1857455428 hasPublicationYear "2002" @default.
- W1857455428 type Work @default.
- W1857455428 sameAs 1857455428 @default.
- W1857455428 citedByCount "9" @default.
- W1857455428 crossrefType "book-chapter" @default.
- W1857455428 hasAuthorship W1857455428A5062334330 @default.
- W1857455428 hasAuthorship W1857455428A5070407243 @default.
- W1857455428 hasBestOaLocation W18574554282 @default.
- W1857455428 hasConcept C108710211 @default.
- W1857455428 hasConcept C115903868 @default.
- W1857455428 hasConcept C122783720 @default.
- W1857455428 hasConcept C161771561 @default.
- W1857455428 hasConcept C199360897 @default.
- W1857455428 hasConcept C2524010 @default.
- W1857455428 hasConcept C33923547 @default.
- W1857455428 hasConcept C40220748 @default.
- W1857455428 hasConcept C41008148 @default.
- W1857455428 hasConcept C42383842 @default.
- W1857455428 hasConcept C80444323 @default.
- W1857455428 hasConcept C98045186 @default.
- W1857455428 hasConceptScore W1857455428C108710211 @default.
- W1857455428 hasConceptScore W1857455428C115903868 @default.
- W1857455428 hasConceptScore W1857455428C122783720 @default.
- W1857455428 hasConceptScore W1857455428C161771561 @default.
- W1857455428 hasConceptScore W1857455428C199360897 @default.
- W1857455428 hasConceptScore W1857455428C2524010 @default.
- W1857455428 hasConceptScore W1857455428C33923547 @default.
- W1857455428 hasConceptScore W1857455428C40220748 @default.
- W1857455428 hasConceptScore W1857455428C41008148 @default.
- W1857455428 hasConceptScore W1857455428C42383842 @default.
- W1857455428 hasConceptScore W1857455428C80444323 @default.
- W1857455428 hasConceptScore W1857455428C98045186 @default.
- W1857455428 hasLocation W18574554281 @default.
- W1857455428 hasLocation W18574554282 @default.
- W1857455428 hasOpenAccess W1857455428 @default.
- W1857455428 hasPrimaryLocation W18574554281 @default.
- W1857455428 hasRelatedWork W103795364 @default.
- W1857455428 hasRelatedWork W1503973138 @default.
- W1857455428 hasRelatedWork W1508224656 @default.
- W1857455428 hasRelatedWork W1515444786 @default.
- W1857455428 hasRelatedWork W1523326720 @default.
- W1857455428 hasRelatedWork W1541966923 @default.
- W1857455428 hasRelatedWork W1569363954 @default.
- W1857455428 hasRelatedWork W1591301196 @default.
- W1857455428 hasRelatedWork W1796676969 @default.
- W1857455428 hasRelatedWork W1995638504 @default.
- W1857455428 hasRelatedWork W203627764 @default.
- W1857455428 hasRelatedWork W2049375073 @default.
- W1857455428 hasRelatedWork W2077564715 @default.
- W1857455428 hasRelatedWork W2083686643 @default.
- W1857455428 hasRelatedWork W2116793756 @default.
- W1857455428 hasRelatedWork W2164688709 @default.
- W1857455428 hasRelatedWork W2219116429 @default.
- W1857455428 hasRelatedWork W2231997718 @default.
- W1857455428 hasRelatedWork W3036168088 @default.
- W1857455428 hasRelatedWork W3101516173 @default.
- W1857455428 isParatext "false" @default.
- W1857455428 isRetracted "false" @default.
- W1857455428 magId "1857455428" @default.
- W1857455428 workType "book-chapter" @default.