Matches in SemOpenAlex for { <https://semopenalex.org/work/W2473726211> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2473726211 abstract "We firstly find the existence of silent event $tau$ in true concurrency (named weakly true concurrency) by defining weakly true concurrent behaviors and weakly true concurrent logics. Based on Paolo Baldan and Silvia Crafa's comprehensive work on (strongly) true concurrency, we find the correspondence between weakly true concurrent equivalences and weakly true concurrent logics." @default.
- W2473726211 created "2016-07-22" @default.
- W2473726211 creator A5052330166 @default.
- W2473726211 date "2016-06-21" @default.
- W2473726211 modified "2023-09-27" @default.
- W2473726211 title "Weakly True Concurrency and Its Logic." @default.
- W2473726211 cites W1503973138 @default.
- W2473726211 cites W1978469611 @default.
- W2473726211 cites W1991052229 @default.
- W2473726211 cites W2110052988 @default.
- W2473726211 cites W2120878557 @default.
- W2473726211 cites W2173961470 @default.
- W2473726211 cites W2292419538 @default.
- W2473726211 cites W2570165438 @default.
- W2473726211 hasPublicationYear "2016" @default.
- W2473726211 type Work @default.
- W2473726211 sameAs 2473726211 @default.
- W2473726211 citedByCount "4" @default.
- W2473726211 countsByYear W24737262112016 @default.
- W2473726211 countsByYear W24737262112017 @default.
- W2473726211 crossrefType "posted-content" @default.
- W2473726211 hasAuthorship W2473726211A5052330166 @default.
- W2473726211 hasConcept C121332964 @default.
- W2473726211 hasConcept C193702766 @default.
- W2473726211 hasConcept C199360897 @default.
- W2473726211 hasConcept C2775941552 @default.
- W2473726211 hasConcept C2779662365 @default.
- W2473726211 hasConcept C33923547 @default.
- W2473726211 hasConcept C34165917 @default.
- W2473726211 hasConcept C3701939 @default.
- W2473726211 hasConcept C41008148 @default.
- W2473726211 hasConcept C50033165 @default.
- W2473726211 hasConcept C62520636 @default.
- W2473726211 hasConcept C80444323 @default.
- W2473726211 hasConcept C86803240 @default.
- W2473726211 hasConcept C89423630 @default.
- W2473726211 hasConcept C96315309 @default.
- W2473726211 hasConceptScore W2473726211C121332964 @default.
- W2473726211 hasConceptScore W2473726211C193702766 @default.
- W2473726211 hasConceptScore W2473726211C199360897 @default.
- W2473726211 hasConceptScore W2473726211C2775941552 @default.
- W2473726211 hasConceptScore W2473726211C2779662365 @default.
- W2473726211 hasConceptScore W2473726211C33923547 @default.
- W2473726211 hasConceptScore W2473726211C34165917 @default.
- W2473726211 hasConceptScore W2473726211C3701939 @default.
- W2473726211 hasConceptScore W2473726211C41008148 @default.
- W2473726211 hasConceptScore W2473726211C50033165 @default.
- W2473726211 hasConceptScore W2473726211C62520636 @default.
- W2473726211 hasConceptScore W2473726211C80444323 @default.
- W2473726211 hasConceptScore W2473726211C86803240 @default.
- W2473726211 hasConceptScore W2473726211C89423630 @default.
- W2473726211 hasConceptScore W2473726211C96315309 @default.
- W2473726211 hasLocation W24737262111 @default.
- W2473726211 hasOpenAccess W2473726211 @default.
- W2473726211 hasPrimaryLocation W24737262111 @default.
- W2473726211 hasRelatedWork W117241242 @default.
- W2473726211 hasRelatedWork W1479776502 @default.
- W2473726211 hasRelatedWork W1529088080 @default.
- W2473726211 hasRelatedWork W1577986516 @default.
- W2473726211 hasRelatedWork W1578801263 @default.
- W2473726211 hasRelatedWork W1583096938 @default.
- W2473726211 hasRelatedWork W1606025221 @default.
- W2473726211 hasRelatedWork W1608340630 @default.
- W2473726211 hasRelatedWork W1967907738 @default.
- W2473726211 hasRelatedWork W1979014902 @default.
- W2473726211 hasRelatedWork W2056234230 @default.
- W2473726211 hasRelatedWork W2142415843 @default.
- W2473726211 hasRelatedWork W2274629768 @default.
- W2473726211 hasRelatedWork W2397763502 @default.
- W2473726211 hasRelatedWork W2406573876 @default.
- W2473726211 hasRelatedWork W2487079181 @default.
- W2473726211 hasRelatedWork W2594658985 @default.
- W2473726211 hasRelatedWork W2952325904 @default.
- W2473726211 hasRelatedWork W3145061395 @default.
- W2473726211 hasRelatedWork W3194265715 @default.
- W2473726211 isParatext "false" @default.
- W2473726211 isRetracted "false" @default.
- W2473726211 magId "2473726211" @default.
- W2473726211 workType "article" @default.