Matches in SemOpenAlex for { <https://semopenalex.org/work/W1852605438> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1852605438 abstract "We investigate Leifer and Milner RPO approach for deriving efficient (finitely branching) LTS's and bisimilarities for p-calculus. To this aim, we work in a category of second-order term contexts and we apply a general pruning technique, which allows to simplify the set of transitions in the LTS obtained from the original RPO approach. The resulting LTS and bisimilarity provide an alternative presentation of symbolic LTS and Sangiorgi's open bisimilarity." @default.
- W1852605438 created "2016-06-24" @default.
- W1852605438 creator A5021504499 @default.
- W1852605438 creator A5057088227 @default.
- W1852605438 creator A5063938532 @default.
- W1852605438 date "2010-01-01" @default.
- W1852605438 modified "2023-09-26" @default.
- W1852605438 title "Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus" @default.
- W1852605438 cites W1500576982 @default.
- W1852605438 cites W1579119324 @default.
- W1852605438 cites W1582856109 @default.
- W1852605438 cites W1852605438 @default.
- W1852605438 cites W1971095420 @default.
- W1852605438 cites W1993543651 @default.
- W1852605438 cites W2027689693 @default.
- W1852605438 cites W2139706745 @default.
- W1852605438 cites W2501924394 @default.
- W1852605438 cites W3099145702 @default.
- W1852605438 cites W1833224851 @default.
- W1852605438 doi "https://doi.org/10.1007/978-3-642-15375-4_25" @default.
- W1852605438 hasPublicationYear "2010" @default.
- W1852605438 type Work @default.
- W1852605438 sameAs 1852605438 @default.
- W1852605438 citedByCount "1" @default.
- W1852605438 crossrefType "book-chapter" @default.
- W1852605438 hasAuthorship W1852605438A5021504499 @default.
- W1852605438 hasAuthorship W1852605438A5057088227 @default.
- W1852605438 hasAuthorship W1852605438A5063938532 @default.
- W1852605438 hasConcept C11413529 @default.
- W1852605438 hasConcept C121332964 @default.
- W1852605438 hasConcept C136119220 @default.
- W1852605438 hasConcept C161771561 @default.
- W1852605438 hasConcept C177264268 @default.
- W1852605438 hasConcept C184337299 @default.
- W1852605438 hasConcept C199343813 @default.
- W1852605438 hasConcept C199360897 @default.
- W1852605438 hasConcept C202444582 @default.
- W1852605438 hasConcept C22497172 @default.
- W1852605438 hasConcept C2777686260 @default.
- W1852605438 hasConcept C2984882572 @default.
- W1852605438 hasConcept C33923547 @default.
- W1852605438 hasConcept C41008148 @default.
- W1852605438 hasConcept C61797465 @default.
- W1852605438 hasConcept C62520636 @default.
- W1852605438 hasConcept C71924100 @default.
- W1852605438 hasConcept C80444323 @default.
- W1852605438 hasConceptScore W1852605438C11413529 @default.
- W1852605438 hasConceptScore W1852605438C121332964 @default.
- W1852605438 hasConceptScore W1852605438C136119220 @default.
- W1852605438 hasConceptScore W1852605438C161771561 @default.
- W1852605438 hasConceptScore W1852605438C177264268 @default.
- W1852605438 hasConceptScore W1852605438C184337299 @default.
- W1852605438 hasConceptScore W1852605438C199343813 @default.
- W1852605438 hasConceptScore W1852605438C199360897 @default.
- W1852605438 hasConceptScore W1852605438C202444582 @default.
- W1852605438 hasConceptScore W1852605438C22497172 @default.
- W1852605438 hasConceptScore W1852605438C2777686260 @default.
- W1852605438 hasConceptScore W1852605438C2984882572 @default.
- W1852605438 hasConceptScore W1852605438C33923547 @default.
- W1852605438 hasConceptScore W1852605438C41008148 @default.
- W1852605438 hasConceptScore W1852605438C61797465 @default.
- W1852605438 hasConceptScore W1852605438C62520636 @default.
- W1852605438 hasConceptScore W1852605438C71924100 @default.
- W1852605438 hasConceptScore W1852605438C80444323 @default.
- W1852605438 hasLocation W18526054381 @default.
- W1852605438 hasOpenAccess W1852605438 @default.
- W1852605438 hasPrimaryLocation W18526054381 @default.
- W1852605438 hasRelatedWork W142142968 @default.
- W1852605438 hasRelatedWork W1534947867 @default.
- W1852605438 hasRelatedWork W1607352284 @default.
- W1852605438 hasRelatedWork W1790914901 @default.
- W1852605438 hasRelatedWork W1976563762 @default.
- W1852605438 hasRelatedWork W2018456712 @default.
- W1852605438 hasRelatedWork W2079091345 @default.
- W1852605438 hasRelatedWork W2112097795 @default.
- W1852605438 hasRelatedWork W2122794371 @default.
- W1852605438 hasRelatedWork W2139706745 @default.
- W1852605438 hasRelatedWork W2267818505 @default.
- W1852605438 hasRelatedWork W2280052013 @default.
- W1852605438 hasRelatedWork W2899968818 @default.
- W1852605438 hasRelatedWork W2912462169 @default.
- W1852605438 hasRelatedWork W2950173065 @default.
- W1852605438 hasRelatedWork W2952232986 @default.
- W1852605438 hasRelatedWork W3019221189 @default.
- W1852605438 hasRelatedWork W3099145702 @default.
- W1852605438 hasRelatedWork W3162822720 @default.
- W1852605438 hasRelatedWork W3200950984 @default.
- W1852605438 isParatext "false" @default.
- W1852605438 isRetracted "false" @default.
- W1852605438 magId "1852605438" @default.
- W1852605438 workType "book-chapter" @default.