Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100459713> ?p ?o ?g. }
- W3100459713 endingPage "144" @default.
- W3100459713 startingPage "111" @default.
- W3100459713 abstract "We study several aspects of the behaviours produced by instruction sequences under execution in the setting of the algebraic theory of processes known as ACP. We use ACP to describe the behaviours produced by instruction sequences under execution and to describe two protocols implementing these behaviours in the case where the processing of instructions takes place remotely. We also show that all finite-state behaviours considered in ACP can be produced by instruction sequences under execution." @default.
- W3100459713 created "2020-11-23" @default.
- W3100459713 creator A5000183100 @default.
- W3100459713 creator A5032380170 @default.
- W3100459713 date "2012-01-01" @default.
- W3100459713 modified "2023-10-02" @default.
- W3100459713 title "On the Behaviours Produced by Instruction Sequences under Execution" @default.
- W3100459713 cites W1486594037 @default.
- W3100459713 cites W1498126011 @default.
- W3100459713 cites W1503973138 @default.
- W3100459713 cites W1527197079 @default.
- W3100459713 cites W1555915743 @default.
- W3100459713 cites W1921254941 @default.
- W3100459713 cites W1939257930 @default.
- W3100459713 cites W1965166449 @default.
- W3100459713 cites W1972478730 @default.
- W3100459713 cites W1976575875 @default.
- W3100459713 cites W1978469611 @default.
- W3100459713 cites W1994584977 @default.
- W3100459713 cites W2002442023 @default.
- W3100459713 cites W2031621184 @default.
- W3100459713 cites W2063647017 @default.
- W3100459713 cites W2092768095 @default.
- W3100459713 cites W2097822042 @default.
- W3100459713 cites W2102097307 @default.
- W3100459713 cites W2103065543 @default.
- W3100459713 cites W2108293751 @default.
- W3100459713 cites W2113610950 @default.
- W3100459713 cites W2113741510 @default.
- W3100459713 cites W2123007131 @default.
- W3100459713 cites W2124067458 @default.
- W3100459713 cites W2130401729 @default.
- W3100459713 cites W2135597391 @default.
- W3100459713 cites W2136428562 @default.
- W3100459713 cites W2144055884 @default.
- W3100459713 cites W2149647633 @default.
- W3100459713 cites W2154456298 @default.
- W3100459713 cites W2155940342 @default.
- W3100459713 cites W2171380900 @default.
- W3100459713 cites W2340102009 @default.
- W3100459713 cites W2611779500 @default.
- W3100459713 cites W2788962374 @default.
- W3100459713 cites W2913989085 @default.
- W3100459713 cites W2963882571 @default.
- W3100459713 cites W3102090504 @default.
- W3100459713 cites W3104797173 @default.
- W3100459713 cites W3144368627 @default.
- W3100459713 cites W3144771442 @default.
- W3100459713 cites W2115348053 @default.
- W3100459713 doi "https://doi.org/10.3233/fi-2012-753" @default.
- W3100459713 hasPublicationYear "2012" @default.
- W3100459713 type Work @default.
- W3100459713 sameAs 3100459713 @default.
- W3100459713 citedByCount "1" @default.
- W3100459713 countsByYear W31004597132022 @default.
- W3100459713 crossrefType "journal-article" @default.
- W3100459713 hasAuthorship W3100459713A5000183100 @default.
- W3100459713 hasAuthorship W3100459713A5032380170 @default.
- W3100459713 hasBestOaLocation W31004597132 @default.
- W3100459713 hasConcept C173608175 @default.
- W3100459713 hasConcept C199360897 @default.
- W3100459713 hasConcept C2989134064 @default.
- W3100459713 hasConcept C33923547 @default.
- W3100459713 hasConcept C41008148 @default.
- W3100459713 hasConcept C48103436 @default.
- W3100459713 hasConcept C80444323 @default.
- W3100459713 hasConcept C94375191 @default.
- W3100459713 hasConceptScore W3100459713C173608175 @default.
- W3100459713 hasConceptScore W3100459713C199360897 @default.
- W3100459713 hasConceptScore W3100459713C2989134064 @default.
- W3100459713 hasConceptScore W3100459713C33923547 @default.
- W3100459713 hasConceptScore W3100459713C41008148 @default.
- W3100459713 hasConceptScore W3100459713C48103436 @default.
- W3100459713 hasConceptScore W3100459713C80444323 @default.
- W3100459713 hasConceptScore W3100459713C94375191 @default.
- W3100459713 hasIssue "2" @default.
- W3100459713 hasLocation W31004597131 @default.
- W3100459713 hasLocation W31004597132 @default.
- W3100459713 hasLocation W31004597133 @default.
- W3100459713 hasLocation W31004597134 @default.
- W3100459713 hasLocation W31004597135 @default.
- W3100459713 hasOpenAccess W3100459713 @default.
- W3100459713 hasPrimaryLocation W31004597131 @default.
- W3100459713 hasRelatedWork W1491671648 @default.
- W3100459713 hasRelatedWork W1497740366 @default.
- W3100459713 hasRelatedWork W1551554715 @default.
- W3100459713 hasRelatedWork W159122881 @default.
- W3100459713 hasRelatedWork W1834681490 @default.
- W3100459713 hasRelatedWork W1897929453 @default.
- W3100459713 hasRelatedWork W1991003782 @default.
- W3100459713 hasRelatedWork W1995105439 @default.
- W3100459713 hasRelatedWork W2001272955 @default.
- W3100459713 hasRelatedWork W2024104996 @default.
- W3100459713 hasRelatedWork W2053762744 @default.
- W3100459713 hasRelatedWork W2068048770 @default.
- W3100459713 hasRelatedWork W2165072244 @default.
- W3100459713 hasRelatedWork W2204495712 @default.
- W3100459713 hasRelatedWork W2559594945 @default.