Matches in SemOpenAlex for { <https://semopenalex.org/work/W1884481057> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1884481057 endingPage "672" @default.
- W1884481057 startingPage "660" @default.
- W1884481057 abstract "Transition systems are focal structures in the study of concurrent systems. On the one hand they are used for defining operational semantics of such systems. And on the other hand they are fundamental structures for interpreting modal and temporal logics. Here we consider different transition systems associated with Milner's Calculus of Communicating Systems (CCS), these differ according to how silent actions are treated. Then a general framework for modal and temporal logics is outlined. Within this framework modal and temporal mu-calculi are highlighted, logics that are appropriate for describing CCS processes. Finally, the equivalences induced by these logics on processes is examined, in general terms." @default.
- W1884481057 created "2016-06-24" @default.
- W1884481057 creator A5056586469 @default.
- W1884481057 date "1989-01-01" @default.
- W1884481057 modified "2023-10-17" @default.
- W1884481057 title "Temporal logics for CCS" @default.
- W1884481057 cites W1971321632 @default.
- W1884481057 cites W1978469611 @default.
- W1884481057 cites W2004306067 @default.
- W1884481057 cites W2015640848 @default.
- W1884481057 cites W2048355938 @default.
- W1884481057 cites W2061841985 @default.
- W1884481057 cites W2077267690 @default.
- W1884481057 cites W2082586807 @default.
- W1884481057 cites W2084910510 @default.
- W1884481057 cites W2137865376 @default.
- W1884481057 cites W2157319504 @default.
- W1884481057 cites W2167004912 @default.
- W1884481057 cites W2806619258 @default.
- W1884481057 cites W4252706706 @default.
- W1884481057 doi "https://doi.org/10.1007/bfb0013039" @default.
- W1884481057 hasPublicationYear "1989" @default.
- W1884481057 type Work @default.
- W1884481057 sameAs 1884481057 @default.
- W1884481057 citedByCount "24" @default.
- W1884481057 countsByYear W18844810572012 @default.
- W1884481057 countsByYear W18844810572017 @default.
- W1884481057 crossrefType "book-chapter" @default.
- W1884481057 hasAuthorship W1884481057A5056586469 @default.
- W1884481057 hasConcept C102993220 @default.
- W1884481057 hasConcept C11191006 @default.
- W1884481057 hasConcept C154945302 @default.
- W1884481057 hasConcept C173125200 @default.
- W1884481057 hasConcept C184337299 @default.
- W1884481057 hasConcept C185592680 @default.
- W1884481057 hasConcept C188027245 @default.
- W1884481057 hasConcept C199343813 @default.
- W1884481057 hasConcept C199360897 @default.
- W1884481057 hasConcept C203659156 @default.
- W1884481057 hasConcept C25016198 @default.
- W1884481057 hasConcept C27508121 @default.
- W1884481057 hasConcept C2777686260 @default.
- W1884481057 hasConcept C41008148 @default.
- W1884481057 hasConcept C42011625 @default.
- W1884481057 hasConcept C5263885 @default.
- W1884481057 hasConcept C58166 @default.
- W1884481057 hasConcept C71139939 @default.
- W1884481057 hasConcept C71924100 @default.
- W1884481057 hasConcept C80444323 @default.
- W1884481057 hasConcept C86602344 @default.
- W1884481057 hasConceptScore W1884481057C102993220 @default.
- W1884481057 hasConceptScore W1884481057C11191006 @default.
- W1884481057 hasConceptScore W1884481057C154945302 @default.
- W1884481057 hasConceptScore W1884481057C173125200 @default.
- W1884481057 hasConceptScore W1884481057C184337299 @default.
- W1884481057 hasConceptScore W1884481057C185592680 @default.
- W1884481057 hasConceptScore W1884481057C188027245 @default.
- W1884481057 hasConceptScore W1884481057C199343813 @default.
- W1884481057 hasConceptScore W1884481057C199360897 @default.
- W1884481057 hasConceptScore W1884481057C203659156 @default.
- W1884481057 hasConceptScore W1884481057C25016198 @default.
- W1884481057 hasConceptScore W1884481057C27508121 @default.
- W1884481057 hasConceptScore W1884481057C2777686260 @default.
- W1884481057 hasConceptScore W1884481057C41008148 @default.
- W1884481057 hasConceptScore W1884481057C42011625 @default.
- W1884481057 hasConceptScore W1884481057C5263885 @default.
- W1884481057 hasConceptScore W1884481057C58166 @default.
- W1884481057 hasConceptScore W1884481057C71139939 @default.
- W1884481057 hasConceptScore W1884481057C71924100 @default.
- W1884481057 hasConceptScore W1884481057C80444323 @default.
- W1884481057 hasConceptScore W1884481057C86602344 @default.
- W1884481057 hasLocation W18844810571 @default.
- W1884481057 hasOpenAccess W1884481057 @default.
- W1884481057 hasPrimaryLocation W18844810571 @default.
- W1884481057 hasRelatedWork W1584072175 @default.
- W1884481057 hasRelatedWork W1884481057 @default.
- W1884481057 hasRelatedWork W2062728934 @default.
- W1884481057 hasRelatedWork W2069376434 @default.
- W1884481057 hasRelatedWork W2077061463 @default.
- W1884481057 hasRelatedWork W2136853317 @default.
- W1884481057 hasRelatedWork W2138544762 @default.
- W1884481057 hasRelatedWork W2207182393 @default.
- W1884481057 hasRelatedWork W4377145612 @default.
- W1884481057 hasRelatedWork W2138716118 @default.
- W1884481057 isParatext "false" @default.
- W1884481057 isRetracted "false" @default.
- W1884481057 magId "1884481057" @default.
- W1884481057 workType "book-chapter" @default.