Matches in SemOpenAlex for { <https://semopenalex.org/work/W1956584174> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1956584174 abstract "Three of the rewriting systems used by Degano, De Nicola and Montanari to provide Milner's CCS with a causality based semantics are compared by using also a fourth intermediate one. These rewriting systems have been used to associate Petri nets, Labelled Event Structures and structured sets of partial orderings to CCS terms. It is proved that the four rewriting systems yield computations from which the same causality relations among the executed actions can be extracted, thus it is established that the four partial ordering transitional semantics do coincide." @default.
- W1956584174 created "2016-06-24" @default.
- W1956584174 creator A5016732227 @default.
- W1956584174 creator A5078426900 @default.
- W1956584174 date "1996-01-01" @default.
- W1956584174 modified "2023-09-24" @default.
- W1956584174 title "ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS" @default.
- W1956584174 cites W122760469 @default.
- W1956584174 cites W1583842232 @default.
- W1956584174 cites W1586966546 @default.
- W1956584174 cites W1608147864 @default.
- W1956584174 cites W1765032207 @default.
- W1956584174 cites W1804005701 @default.
- W1956584174 cites W1885186328 @default.
- W1956584174 cites W1908424597 @default.
- W1956584174 cites W1989279866 @default.
- W1956584174 cites W1991052229 @default.
- W1956584174 cites W2001748564 @default.
- W1956584174 cites W2031124364 @default.
- W1956584174 cites W2035959929 @default.
- W1956584174 cites W2074117888 @default.
- W1956584174 cites W2095417604 @default.
- W1956584174 cites W2098981343 @default.
- W1956584174 cites W2118954772 @default.
- W1956584174 cites W2130056801 @default.
- W1956584174 cites W2134038996 @default.
- W1956584174 cites W2136920408 @default.
- W1956584174 cites W2150320481 @default.
- W1956584174 cites W2276960835 @default.
- W1956584174 cites W2475115995 @default.
- W1956584174 cites W2914421362 @default.
- W1956584174 cites W30921532 @default.
- W1956584174 cites W2266118370 @default.
- W1956584174 doi "https://doi.org/10.3233/fi-1996-27402" @default.
- W1956584174 hasPublicationYear "1996" @default.
- W1956584174 type Work @default.
- W1956584174 sameAs 1956584174 @default.
- W1956584174 citedByCount "1" @default.
- W1956584174 crossrefType "journal-article" @default.
- W1956584174 hasAuthorship W1956584174A5016732227 @default.
- W1956584174 hasAuthorship W1956584174A5078426900 @default.
- W1956584174 hasConcept C118615104 @default.
- W1956584174 hasConcept C121332964 @default.
- W1956584174 hasConcept C136119220 @default.
- W1956584174 hasConcept C154690210 @default.
- W1956584174 hasConcept C180645754 @default.
- W1956584174 hasConcept C184337299 @default.
- W1956584174 hasConcept C199360897 @default.
- W1956584174 hasConcept C202444582 @default.
- W1956584174 hasConcept C33923547 @default.
- W1956584174 hasConcept C38677869 @default.
- W1956584174 hasConcept C41008148 @default.
- W1956584174 hasConcept C62520636 @default.
- W1956584174 hasConcept C64357122 @default.
- W1956584174 hasConcept C77906462 @default.
- W1956584174 hasConceptScore W1956584174C118615104 @default.
- W1956584174 hasConceptScore W1956584174C121332964 @default.
- W1956584174 hasConceptScore W1956584174C136119220 @default.
- W1956584174 hasConceptScore W1956584174C154690210 @default.
- W1956584174 hasConceptScore W1956584174C180645754 @default.
- W1956584174 hasConceptScore W1956584174C184337299 @default.
- W1956584174 hasConceptScore W1956584174C199360897 @default.
- W1956584174 hasConceptScore W1956584174C202444582 @default.
- W1956584174 hasConceptScore W1956584174C33923547 @default.
- W1956584174 hasConceptScore W1956584174C38677869 @default.
- W1956584174 hasConceptScore W1956584174C41008148 @default.
- W1956584174 hasConceptScore W1956584174C62520636 @default.
- W1956584174 hasConceptScore W1956584174C64357122 @default.
- W1956584174 hasConceptScore W1956584174C77906462 @default.
- W1956584174 hasLocation W19565841741 @default.
- W1956584174 hasOpenAccess W1956584174 @default.
- W1956584174 hasPrimaryLocation W19565841741 @default.
- W1956584174 hasRelatedWork W1492555133 @default.
- W1956584174 hasRelatedWork W1540254171 @default.
- W1956584174 hasRelatedWork W1555655467 @default.
- W1956584174 hasRelatedWork W1557351135 @default.
- W1956584174 hasRelatedWork W1570257136 @default.
- W1956584174 hasRelatedWork W1571212368 @default.
- W1956584174 hasRelatedWork W1572337454 @default.
- W1956584174 hasRelatedWork W1615360402 @default.
- W1956584174 hasRelatedWork W1675309158 @default.
- W1956584174 hasRelatedWork W1988207683 @default.
- W1956584174 hasRelatedWork W2020677811 @default.
- W1956584174 hasRelatedWork W2036929339 @default.
- W1956584174 hasRelatedWork W2037276526 @default.
- W1956584174 hasRelatedWork W2038143607 @default.
- W1956584174 hasRelatedWork W2042633675 @default.
- W1956584174 hasRelatedWork W2049924207 @default.
- W1956584174 hasRelatedWork W2064243576 @default.
- W1956584174 hasRelatedWork W2095417604 @default.
- W1956584174 hasRelatedWork W2604945379 @default.
- W1956584174 hasRelatedWork W2607202016 @default.
- W1956584174 isParatext "false" @default.
- W1956584174 isRetracted "false" @default.
- W1956584174 magId "1956584174" @default.
- W1956584174 workType "article" @default.