Matches in SemOpenAlex for { <https://semopenalex.org/work/W2563562951> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2563562951 abstract "A study is made of the subset of the communicating sequential processes formalism in which processes are described in terms of recursive equations that use only constant processes, deterministic choice, parallel composition, and sequential composition. Even with this limited version, the formalism is powerful enough to model a Turing machine, so that a number of important problems such as boundedness, deadlock, and reachability are undecidable. >" @default.
- W2563562951 created "2017-01-06" @default.
- W2563562951 creator A5040150415 @default.
- W2563562951 creator A5055805951 @default.
- W2563562951 date "2003-01-07" @default.
- W2563562951 modified "2023-09-27" @default.
- W2563562951 title "Undecidability results for deterministic communicating sequential processes" @default.
- W2563562951 cites W1984831616 @default.
- W2563562951 cites W1996362167 @default.
- W2563562951 cites W2106001218 @default.
- W2563562951 cites W2123464354 @default.
- W2563562951 cites W2124533330 @default.
- W2563562951 cites W2126160338 @default.
- W2563562951 cites W2164003033 @default.
- W2563562951 cites W2545845195 @default.
- W2563562951 doi "https://doi.org/10.1109/cdc.1989.70670" @default.
- W2563562951 hasPublicationYear "2003" @default.
- W2563562951 type Work @default.
- W2563562951 sameAs 2563562951 @default.
- W2563562951 citedByCount "0" @default.
- W2563562951 crossrefType "proceedings-article" @default.
- W2563562951 hasAuthorship W2563562951A5040150415 @default.
- W2563562951 hasAuthorship W2563562951A5055805951 @default.
- W2563562951 hasConcept C11413529 @default.
- W2563562951 hasConcept C120314980 @default.
- W2563562951 hasConcept C136643341 @default.
- W2563562951 hasConcept C142362112 @default.
- W2563562951 hasConcept C153269930 @default.
- W2563562951 hasConcept C153349607 @default.
- W2563562951 hasConcept C155214134 @default.
- W2563562951 hasConcept C156325763 @default.
- W2563562951 hasConcept C159023740 @default.
- W2563562951 hasConcept C184337299 @default.
- W2563562951 hasConcept C192034797 @default.
- W2563562951 hasConcept C199360897 @default.
- W2563562951 hasConcept C2777669093 @default.
- W2563562951 hasConcept C29248071 @default.
- W2563562951 hasConcept C41008148 @default.
- W2563562951 hasConcept C45374587 @default.
- W2563562951 hasConcept C558565934 @default.
- W2563562951 hasConcept C73301696 @default.
- W2563562951 hasConcept C80444323 @default.
- W2563562951 hasConcept C9870796 @default.
- W2563562951 hasConceptScore W2563562951C11413529 @default.
- W2563562951 hasConceptScore W2563562951C120314980 @default.
- W2563562951 hasConceptScore W2563562951C136643341 @default.
- W2563562951 hasConceptScore W2563562951C142362112 @default.
- W2563562951 hasConceptScore W2563562951C153269930 @default.
- W2563562951 hasConceptScore W2563562951C153349607 @default.
- W2563562951 hasConceptScore W2563562951C155214134 @default.
- W2563562951 hasConceptScore W2563562951C156325763 @default.
- W2563562951 hasConceptScore W2563562951C159023740 @default.
- W2563562951 hasConceptScore W2563562951C184337299 @default.
- W2563562951 hasConceptScore W2563562951C192034797 @default.
- W2563562951 hasConceptScore W2563562951C199360897 @default.
- W2563562951 hasConceptScore W2563562951C2777669093 @default.
- W2563562951 hasConceptScore W2563562951C29248071 @default.
- W2563562951 hasConceptScore W2563562951C41008148 @default.
- W2563562951 hasConceptScore W2563562951C45374587 @default.
- W2563562951 hasConceptScore W2563562951C558565934 @default.
- W2563562951 hasConceptScore W2563562951C73301696 @default.
- W2563562951 hasConceptScore W2563562951C80444323 @default.
- W2563562951 hasConceptScore W2563562951C9870796 @default.
- W2563562951 hasLocation W25635629511 @default.
- W2563562951 hasOpenAccess W2563562951 @default.
- W2563562951 hasPrimaryLocation W25635629511 @default.
- W2563562951 hasRelatedWork W1499482550 @default.
- W2563562951 hasRelatedWork W1526231760 @default.
- W2563562951 hasRelatedWork W1550813795 @default.
- W2563562951 hasRelatedWork W1553088758 @default.
- W2563562951 hasRelatedWork W1662711380 @default.
- W2563562951 hasRelatedWork W1709153679 @default.
- W2563562951 hasRelatedWork W1970733094 @default.
- W2563562951 hasRelatedWork W2011840823 @default.
- W2563562951 hasRelatedWork W2040008220 @default.
- W2563562951 hasRelatedWork W2043990176 @default.
- W2563562951 hasRelatedWork W2049140303 @default.
- W2563562951 hasRelatedWork W2052306562 @default.
- W2563562951 hasRelatedWork W2053991631 @default.
- W2563562951 hasRelatedWork W2058346101 @default.
- W2563562951 hasRelatedWork W2065967467 @default.
- W2563562951 hasRelatedWork W2101508170 @default.
- W2563562951 hasRelatedWork W2123910665 @default.
- W2563562951 hasRelatedWork W2150583165 @default.
- W2563562951 hasRelatedWork W2999769907 @default.
- W2563562951 hasRelatedWork W96196053 @default.
- W2563562951 isParatext "false" @default.
- W2563562951 isRetracted "false" @default.
- W2563562951 magId "2563562951" @default.
- W2563562951 workType "article" @default.