Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952307304> ?p ?o ?g. }
- W2952307304 abstract "The paper investigates behavioural equivalence between programs in a call-by-value functional language extended with a signature of (algebraic) effect-triggering operations. Two programs are considered as being behaviourally equivalent if they enjoy the same behavioural properties. To formulate this, we define a logic whose formulas specify behavioural properties. A crucial ingredient is a collection of modalities expressing effect-specific aspects of behaviour. We give a general theory of such modalities. If two conditions, openness and decomposability, are satisfied by the modalities then the logically specified behavioural equivalence coincides with a modality-defined notion of applicative bisimilarity, which can be proven to be a congruence by a generalisation of Howe's method. We show that the openness and decomposability conditions hold for several examples of algebraic effects: nondeterminism, probabilistic choice, global store and input/output." @default.
- W2952307304 created "2019-06-27" @default.
- W2952307304 creator A5037262512 @default.
- W2952307304 creator A5058385346 @default.
- W2952307304 date "2019-04-18" @default.
- W2952307304 modified "2023-09-27" @default.
- W2952307304 title "Behavioural Equivalence via Modalities for Algebraic Effects" @default.
- W2952307304 cites W102024464 @default.
- W2952307304 cites W112626393 @default.
- W2952307304 cites W1508489761 @default.
- W2952307304 cites W1516346965 @default.
- W2952307304 cites W1521014576 @default.
- W2952307304 cites W1547562281 @default.
- W2952307304 cites W172004165 @default.
- W2952307304 cites W1971906578 @default.
- W2952307304 cites W1978469611 @default.
- W2952307304 cites W1982145886 @default.
- W2952307304 cites W1984184513 @default.
- W2952307304 cites W1990409169 @default.
- W2952307304 cites W1995065158 @default.
- W2952307304 cites W1997143185 @default.
- W2952307304 cites W2007270285 @default.
- W2952307304 cites W2008880956 @default.
- W2952307304 cites W2018474310 @default.
- W2952307304 cites W2023149698 @default.
- W2952307304 cites W2023808162 @default.
- W2952307304 cites W2028012052 @default.
- W2952307304 cites W2038116769 @default.
- W2952307304 cites W2076954302 @default.
- W2952307304 cites W2092367588 @default.
- W2952307304 cites W2104602076 @default.
- W2952307304 cites W2106096722 @default.
- W2952307304 cites W2126431612 @default.
- W2952307304 cites W2137865376 @default.
- W2952307304 cites W2139772363 @default.
- W2952307304 cites W2149412346 @default.
- W2952307304 cites W2153644103 @default.
- W2952307304 cites W2159513875 @default.
- W2952307304 cites W2167949883 @default.
- W2952307304 cites W2170114248 @default.
- W2952307304 cites W2255317114 @default.
- W2952307304 cites W2267469130 @default.
- W2952307304 cites W2290372454 @default.
- W2952307304 cites W2507710874 @default.
- W2952307304 cites W2743053213 @default.
- W2952307304 cites W2797640271 @default.
- W2952307304 cites W2889362727 @default.
- W2952307304 cites W2967216242 @default.
- W2952307304 cites W3013099007 @default.
- W2952307304 cites W369805404 @default.
- W2952307304 cites W814461068 @default.
- W2952307304 cites W905467040 @default.
- W2952307304 cites W951160772 @default.
- W2952307304 hasPublicationYear "2019" @default.
- W2952307304 type Work @default.
- W2952307304 sameAs 2952307304 @default.
- W2952307304 citedByCount "1" @default.
- W2952307304 countsByYear W29523073042021 @default.
- W2952307304 crossrefType "posted-content" @default.
- W2952307304 hasAuthorship W2952307304A5037262512 @default.
- W2952307304 hasAuthorship W2952307304A5058385346 @default.
- W2952307304 hasConcept C132074034 @default.
- W2952307304 hasConcept C134306372 @default.
- W2952307304 hasConcept C136119220 @default.
- W2952307304 hasConcept C144024400 @default.
- W2952307304 hasConcept C154945302 @default.
- W2952307304 hasConcept C15744967 @default.
- W2952307304 hasConcept C182419690 @default.
- W2952307304 hasConcept C202444582 @default.
- W2952307304 hasConcept C2524010 @default.
- W2952307304 hasConcept C2779903281 @default.
- W2952307304 hasConcept C2780069185 @default.
- W2952307304 hasConcept C2780226545 @default.
- W2952307304 hasConcept C2989065042 @default.
- W2952307304 hasConcept C33923547 @default.
- W2952307304 hasConcept C36289849 @default.
- W2952307304 hasConcept C41008148 @default.
- W2952307304 hasConcept C49937458 @default.
- W2952307304 hasConcept C77805123 @default.
- W2952307304 hasConcept C84976871 @default.
- W2952307304 hasConcept C9376300 @default.
- W2952307304 hasConceptScore W2952307304C132074034 @default.
- W2952307304 hasConceptScore W2952307304C134306372 @default.
- W2952307304 hasConceptScore W2952307304C136119220 @default.
- W2952307304 hasConceptScore W2952307304C144024400 @default.
- W2952307304 hasConceptScore W2952307304C154945302 @default.
- W2952307304 hasConceptScore W2952307304C15744967 @default.
- W2952307304 hasConceptScore W2952307304C182419690 @default.
- W2952307304 hasConceptScore W2952307304C202444582 @default.
- W2952307304 hasConceptScore W2952307304C2524010 @default.
- W2952307304 hasConceptScore W2952307304C2779903281 @default.
- W2952307304 hasConceptScore W2952307304C2780069185 @default.
- W2952307304 hasConceptScore W2952307304C2780226545 @default.
- W2952307304 hasConceptScore W2952307304C2989065042 @default.
- W2952307304 hasConceptScore W2952307304C33923547 @default.
- W2952307304 hasConceptScore W2952307304C36289849 @default.
- W2952307304 hasConceptScore W2952307304C41008148 @default.
- W2952307304 hasConceptScore W2952307304C49937458 @default.
- W2952307304 hasConceptScore W2952307304C77805123 @default.
- W2952307304 hasConceptScore W2952307304C84976871 @default.