Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044829510> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2044829510 endingPage "235" @default.
- W2044829510 startingPage "218" @default.
- W2044829510 abstract "One of the early results concerning the asynchronous π -calculus which significantly contributed to its popularity is the capability of encoding the output prefix of the (choiceless) π -calculus in a natural and elegant way. Encodings of this kind were proposed by Honda and Tokoro, by Nestmann and (independently) by Boudol. We investigate whether the above encodings preserve De Nicola and Hennessy’s testing semantics. In this sense, it turns out that, under some general conditions, no encoding of the output prefix is able to preserve the must testing. This negative result is due to (a) the non-atomicity of the sequences of steps which are necessary in the asynchronous π -calculus to mimic synchronous communication, and (b) testing semantics’ sensitivity to divergence." @default.
- W2044829510 created "2016-06-24" @default.
- W2044829510 creator A5028388054 @default.
- W2044829510 creator A5078426900 @default.
- W2044829510 creator A5090842450 @default.
- W2044829510 date "2007-11-01" @default.
- W2044829510 modified "2023-09-30" @default.
- W2044829510 title "Separation of synchronous and asynchronous communication via testing" @default.
- W2044829510 cites W1988856107 @default.
- W2044829510 cites W2012657211 @default.
- W2044829510 cites W2029133311 @default.
- W2044829510 cites W2118010897 @default.
- W2044829510 cites W2128932399 @default.
- W2044829510 cites W2157144873 @default.
- W2044829510 cites W3124439491 @default.
- W2044829510 doi "https://doi.org/10.1016/j.tcs.2007.07.009" @default.
- W2044829510 hasPublicationYear "2007" @default.
- W2044829510 type Work @default.
- W2044829510 sameAs 2044829510 @default.
- W2044829510 citedByCount "13" @default.
- W2044829510 countsByYear W20448295102012 @default.
- W2044829510 countsByYear W20448295102014 @default.
- W2044829510 countsByYear W20448295102018 @default.
- W2044829510 countsByYear W20448295102019 @default.
- W2044829510 crossrefType "journal-article" @default.
- W2044829510 hasAuthorship W2044829510A5028388054 @default.
- W2044829510 hasAuthorship W2044829510A5078426900 @default.
- W2044829510 hasAuthorship W2044829510A5090842450 @default.
- W2044829510 hasBestOaLocation W20448295101 @default.
- W2044829510 hasConcept C11413529 @default.
- W2044829510 hasConcept C151319957 @default.
- W2044829510 hasConcept C31258907 @default.
- W2044829510 hasConcept C41008148 @default.
- W2044829510 hasConcept C80444323 @default.
- W2044829510 hasConceptScore W2044829510C11413529 @default.
- W2044829510 hasConceptScore W2044829510C151319957 @default.
- W2044829510 hasConceptScore W2044829510C31258907 @default.
- W2044829510 hasConceptScore W2044829510C41008148 @default.
- W2044829510 hasConceptScore W2044829510C80444323 @default.
- W2044829510 hasIssue "3" @default.
- W2044829510 hasLocation W20448295101 @default.
- W2044829510 hasLocation W20448295102 @default.
- W2044829510 hasLocation W20448295103 @default.
- W2044829510 hasLocation W20448295104 @default.
- W2044829510 hasLocation W20448295105 @default.
- W2044829510 hasOpenAccess W2044829510 @default.
- W2044829510 hasPrimaryLocation W20448295101 @default.
- W2044829510 hasRelatedWork W1548344605 @default.
- W2044829510 hasRelatedWork W1559884866 @default.
- W2044829510 hasRelatedWork W2006363920 @default.
- W2044829510 hasRelatedWork W2362260319 @default.
- W2044829510 hasRelatedWork W2367372208 @default.
- W2044829510 hasRelatedWork W2475836838 @default.
- W2044829510 hasRelatedWork W2521877348 @default.
- W2044829510 hasRelatedWork W2776953575 @default.
- W2044829510 hasRelatedWork W3011885690 @default.
- W2044829510 hasRelatedWork W3100791781 @default.
- W2044829510 hasVolume "386" @default.
- W2044829510 isParatext "false" @default.
- W2044829510 isRetracted "false" @default.
- W2044829510 magId "2044829510" @default.
- W2044829510 workType "article" @default.