Matches in SemOpenAlex for { <https://semopenalex.org/work/W1889612581> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1889612581 abstract "We discuss the decidability problem associated with verifying properties of processes expressed in the real time process calculus TCCS of [W90], A regular subcalculus TC of TCCS is considered. Two operational semantics, and associated timed notions of bisimulation, are given: a standard infinite semantics, and a symbolic finite semantics. The consistency between the two semantics is proved. We show that both the equivalences are decidable for regular processes relative to comparisons between real numbers." @default.
- W1889612581 created "2016-06-24" @default.
- W1889612581 creator A5069362159 @default.
- W1889612581 creator A5073142503 @default.
- W1889612581 creator A5076290096 @default.
- W1889612581 date "1992-01-01" @default.
- W1889612581 modified "2023-09-28" @default.
- W1889612581 title "Deciding properties of regular real timed processes" @default.
- W1889612581 cites W1492683468 @default.
- W1889612581 cites W1602114053 @default.
- W1889612581 cites W1978469611 @default.
- W1889612581 cites W2068361557 @default.
- W1889612581 doi "https://doi.org/10.1007/3-540-55179-4_41" @default.
- W1889612581 hasPublicationYear "1992" @default.
- W1889612581 type Work @default.
- W1889612581 sameAs 1889612581 @default.
- W1889612581 citedByCount "14" @default.
- W1889612581 countsByYear W18896125812013 @default.
- W1889612581 crossrefType "book-chapter" @default.
- W1889612581 hasAuthorship W1889612581A5069362159 @default.
- W1889612581 hasAuthorship W1889612581A5073142503 @default.
- W1889612581 hasAuthorship W1889612581A5076290096 @default.
- W1889612581 hasBestOaLocation W18896125811 @default.
- W1889612581 hasConcept C11413529 @default.
- W1889612581 hasConcept C135315306 @default.
- W1889612581 hasConcept C136119220 @default.
- W1889612581 hasConcept C153269930 @default.
- W1889612581 hasConcept C154945302 @default.
- W1889612581 hasConcept C156325763 @default.
- W1889612581 hasConcept C161771561 @default.
- W1889612581 hasConcept C184337299 @default.
- W1889612581 hasConcept C199360897 @default.
- W1889612581 hasConcept C202444582 @default.
- W1889612581 hasConcept C2776436953 @default.
- W1889612581 hasConcept C33923547 @default.
- W1889612581 hasConcept C41008148 @default.
- W1889612581 hasConcept C80444323 @default.
- W1889612581 hasConcept C98045186 @default.
- W1889612581 hasConceptScore W1889612581C11413529 @default.
- W1889612581 hasConceptScore W1889612581C135315306 @default.
- W1889612581 hasConceptScore W1889612581C136119220 @default.
- W1889612581 hasConceptScore W1889612581C153269930 @default.
- W1889612581 hasConceptScore W1889612581C154945302 @default.
- W1889612581 hasConceptScore W1889612581C156325763 @default.
- W1889612581 hasConceptScore W1889612581C161771561 @default.
- W1889612581 hasConceptScore W1889612581C184337299 @default.
- W1889612581 hasConceptScore W1889612581C199360897 @default.
- W1889612581 hasConceptScore W1889612581C202444582 @default.
- W1889612581 hasConceptScore W1889612581C2776436953 @default.
- W1889612581 hasConceptScore W1889612581C33923547 @default.
- W1889612581 hasConceptScore W1889612581C41008148 @default.
- W1889612581 hasConceptScore W1889612581C80444323 @default.
- W1889612581 hasConceptScore W1889612581C98045186 @default.
- W1889612581 hasLocation W18896125811 @default.
- W1889612581 hasOpenAccess W1889612581 @default.
- W1889612581 hasPrimaryLocation W18896125811 @default.
- W1889612581 hasRelatedWork W1482233117 @default.
- W1889612581 hasRelatedWork W1491196069 @default.
- W1889612581 hasRelatedWork W1492555133 @default.
- W1889612581 hasRelatedWork W1503973138 @default.
- W1889612581 hasRelatedWork W1513908012 @default.
- W1889612581 hasRelatedWork W1514211561 @default.
- W1889612581 hasRelatedWork W1559986400 @default.
- W1889612581 hasRelatedWork W1570257136 @default.
- W1889612581 hasRelatedWork W1573724186 @default.
- W1889612581 hasRelatedWork W1596400039 @default.
- W1889612581 hasRelatedWork W1967761514 @default.
- W1889612581 hasRelatedWork W1977555802 @default.
- W1889612581 hasRelatedWork W2031016532 @default.
- W1889612581 hasRelatedWork W2101508170 @default.
- W1889612581 hasRelatedWork W2138549619 @default.
- W1889612581 hasRelatedWork W2153439859 @default.
- W1889612581 hasRelatedWork W2607202016 @default.
- W1889612581 hasRelatedWork W3820865 @default.
- W1889612581 hasRelatedWork W59365162 @default.
- W1889612581 hasRelatedWork W1499733295 @default.
- W1889612581 isParatext "false" @default.
- W1889612581 isRetracted "false" @default.
- W1889612581 magId "1889612581" @default.
- W1889612581 workType "book-chapter" @default.