Matches in SemOpenAlex for { <https://semopenalex.org/work/W2047084525> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2047084525 endingPage "73" @default.
- W2047084525 startingPage "34" @default.
- W2047084525 abstract "An interpretation of Abadi and Cardelli's first-order functionobject calculusinto a typedπ-calculus is presented. The interpretation validates the subtyping relation and the typing judgements of the object calculus and is computationally adequate. This is the first interpretation of a typed object-oriented language into a process calculus. The study intends to offer a contribution to understanding on the one hand, the relationship betweenπ-calculus types and conventional types of programming languages and on the other hand, the usefulness of theπ-calculus as a metalanguage for the semantics of typed object-oriented languages. The type language for theπ-calculus has Pierce and Sangiorgi's I/O annotations, to separate the capabilities of reading and writing on a channel and variant types. Technical contributions of the paper are the presentation ofvariant typesfor theπ-calculus and their typing and subtyping properties, and an analysis of behavioural equivalences in aπ-calculus with variant types." @default.
- W2047084525 created "2016-06-24" @default.
- W2047084525 creator A5077030456 @default.
- W2047084525 date "1998-05-01" @default.
- W2047084525 modified "2023-10-14" @default.
- W2047084525 title "An Interpretation of Typed Objects into Typedπ-Calculus" @default.
- W2047084525 cites W2032265482 @default.
- W2047084525 cites W2123727486 @default.
- W2047084525 cites W2128932399 @default.
- W2047084525 cites W2148025199 @default.
- W2047084525 cites W2170626879 @default.
- W2047084525 cites W2476379118 @default.
- W2047084525 cites W2732467558 @default.
- W2047084525 doi "https://doi.org/10.1006/inco.1998.2711" @default.
- W2047084525 hasPublicationYear "1998" @default.
- W2047084525 type Work @default.
- W2047084525 sameAs 2047084525 @default.
- W2047084525 citedByCount "37" @default.
- W2047084525 countsByYear W20470845252012 @default.
- W2047084525 countsByYear W20470845252015 @default.
- W2047084525 countsByYear W20470845252016 @default.
- W2047084525 countsByYear W20470845252017 @default.
- W2047084525 countsByYear W20470845252019 @default.
- W2047084525 countsByYear W20470845252020 @default.
- W2047084525 countsByYear W20470845252021 @default.
- W2047084525 countsByYear W20470845252022 @default.
- W2047084525 countsByYear W20470845252023 @default.
- W2047084525 crossrefType "journal-article" @default.
- W2047084525 hasAuthorship W2047084525A5077030456 @default.
- W2047084525 hasBestOaLocation W20470845251 @default.
- W2047084525 hasConcept C142998047 @default.
- W2047084525 hasConcept C154945302 @default.
- W2047084525 hasConcept C161771561 @default.
- W2047084525 hasConcept C199343813 @default.
- W2047084525 hasConcept C199360897 @default.
- W2047084525 hasConcept C2777686260 @default.
- W2047084525 hasConcept C2781238097 @default.
- W2047084525 hasConcept C41008148 @default.
- W2047084525 hasConcept C527412718 @default.
- W2047084525 hasConcept C71924100 @default.
- W2047084525 hasConcept C83852419 @default.
- W2047084525 hasConceptScore W2047084525C142998047 @default.
- W2047084525 hasConceptScore W2047084525C154945302 @default.
- W2047084525 hasConceptScore W2047084525C161771561 @default.
- W2047084525 hasConceptScore W2047084525C199343813 @default.
- W2047084525 hasConceptScore W2047084525C199360897 @default.
- W2047084525 hasConceptScore W2047084525C2777686260 @default.
- W2047084525 hasConceptScore W2047084525C2781238097 @default.
- W2047084525 hasConceptScore W2047084525C41008148 @default.
- W2047084525 hasConceptScore W2047084525C527412718 @default.
- W2047084525 hasConceptScore W2047084525C71924100 @default.
- W2047084525 hasConceptScore W2047084525C83852419 @default.
- W2047084525 hasIssue "1" @default.
- W2047084525 hasLocation W20470845251 @default.
- W2047084525 hasOpenAccess W2047084525 @default.
- W2047084525 hasPrimaryLocation W20470845251 @default.
- W2047084525 hasRelatedWork W1494774343 @default.
- W2047084525 hasRelatedWork W2047084525 @default.
- W2047084525 hasRelatedWork W2112962394 @default.
- W2047084525 hasRelatedWork W2118300983 @default.
- W2047084525 hasRelatedWork W2166247150 @default.
- W2047084525 hasRelatedWork W2763815264 @default.
- W2047084525 hasRelatedWork W3137189469 @default.
- W2047084525 hasRelatedWork W4235530921 @default.
- W2047084525 hasRelatedWork W4243252198 @default.
- W2047084525 hasRelatedWork W2526467014 @default.
- W2047084525 hasVolume "143" @default.
- W2047084525 isParatext "false" @default.
- W2047084525 isRetracted "false" @default.
- W2047084525 magId "2047084525" @default.
- W2047084525 workType "article" @default.