Matches in SemOpenAlex for { <https://semopenalex.org/work/W59382029> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W59382029 endingPage "258" @default.
- W59382029 startingPage "231" @default.
- W59382029 abstract "Degano et al. (1989) introduced AC/E systems (augmented C/E systems) to give a true concurrency semantics to CCS. But the true concurrency was not complete. There was no true concurrency for recursive agents (like < x >. e 1 | e 2 ) and nondeterminant agents (like e 1 | e 2 + e 3 | e 4 ). Also the concept of bisimulation has not been transplanted to AC/E systems. This paper defines a complete true concurrency model of CCS by exploiting the potential concurrency of any CCS agent to its full strength. It introduces a kind of multilayered Petri nets, called NP/R nets, to define the processes on AC/E systems. We also introduced the notion of bisimulation of groups of NP/R nets and proved that this bisimulation relation can determine the CCS bisimulation uniquely." @default.
- W59382029 created "2016-06-24" @default.
- W59382029 creator A5088774454 @default.
- W59382029 date "1993-06-01" @default.
- W59382029 modified "2023-09-23" @default.
- W59382029 title "A true concurrency model of CCS semantics" @default.
- W59382029 cites W2137865376 @default.
- W59382029 cites W2369543978 @default.
- W59382029 cites W2475115995 @default.
- W59382029 doi "https://doi.org/10.1016/0304-3975(93)90003-c" @default.
- W59382029 hasPublicationYear "1993" @default.
- W59382029 type Work @default.
- W59382029 sameAs 59382029 @default.
- W59382029 citedByCount "1" @default.
- W59382029 crossrefType "journal-article" @default.
- W59382029 hasAuthorship W59382029A5088774454 @default.
- W59382029 hasConcept C135315306 @default.
- W59382029 hasConcept C184337299 @default.
- W59382029 hasConcept C193702766 @default.
- W59382029 hasConcept C199360897 @default.
- W59382029 hasConcept C33923547 @default.
- W59382029 hasConcept C38677869 @default.
- W59382029 hasConcept C41008148 @default.
- W59382029 hasConcept C80444323 @default.
- W59382029 hasConceptScore W59382029C135315306 @default.
- W59382029 hasConceptScore W59382029C184337299 @default.
- W59382029 hasConceptScore W59382029C193702766 @default.
- W59382029 hasConceptScore W59382029C199360897 @default.
- W59382029 hasConceptScore W59382029C33923547 @default.
- W59382029 hasConceptScore W59382029C38677869 @default.
- W59382029 hasConceptScore W59382029C41008148 @default.
- W59382029 hasConceptScore W59382029C80444323 @default.
- W59382029 hasIssue "2" @default.
- W59382029 hasLocation W593820291 @default.
- W59382029 hasOpenAccess W59382029 @default.
- W59382029 hasPrimaryLocation W593820291 @default.
- W59382029 hasRelatedWork W1532900579 @default.
- W59382029 hasRelatedWork W1536150964 @default.
- W59382029 hasRelatedWork W1759888694 @default.
- W59382029 hasRelatedWork W2095807838 @default.
- W59382029 hasRelatedWork W2148160518 @default.
- W59382029 hasRelatedWork W2285205592 @default.
- W59382029 hasRelatedWork W2614427934 @default.
- W59382029 hasRelatedWork W2948682255 @default.
- W59382029 hasRelatedWork W3097427052 @default.
- W59382029 hasRelatedWork W1894736207 @default.
- W59382029 hasVolume "113" @default.
- W59382029 isParatext "false" @default.
- W59382029 isRetracted "false" @default.
- W59382029 magId "59382029" @default.
- W59382029 workType "article" @default.