FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1562176620> ?p ?o ?g. }

• W1562176620 abstract "A new metric domain of processes is presented. This domain is located in between two metric process domains introduced by De Bakker and Zucker. The new process domain characterizes the collection of image finite processes. This domain has as advantages over the other process domains that no complications arise in the definitions of operators like sequential composition and parallel composition, and that image finite language constructions like random assignment can be modelled in an elementary way. As in the other domains, bisimilarity and equality coincide in this domain." @default.
• W1562176620 created "2016-06-24" @default.
• W1562176620 creator A5014089511 @default.
• W1562176620 date "1994-01-01" @default.
• W1562176620 modified "2023-09-23" @default.
• W1562176620 title "Three metric domains of processes for bisimulation" @default.
• W1562176620 cites W1458771408 @default.
• W1562176620 cites W1545543837 @default.
• W1562176620 cites W1973311427 @default.
• W1562176620 cites W1978375202 @default.
• W1562176620 cites W1979109585 @default.
• W1562176620 cites W1992072860 @default.
• W1562176620 cites W1995902462 @default.
• W1562176620 cites W2041828955 @default.
• W1562176620 cites W2084421932 @default.
• W1562176620 cites W2098981343 @default.
• W1562176620 cites W2108652205 @default.
• W1562176620 cites W2129965117 @default.
• W1562176620 cites W2137865376 @default.
• W1562176620 cites W2140920629 @default.
• W1562176620 cites W2245053867 @default.
• W1562176620 cites W4239721096 @default.
• W1562176620 doi "https://doi.org/10.1007/3-540-58027-1_5" @default.
• W1562176620 hasPublicationYear "1994" @default.
• W1562176620 type Work @default.
• W1562176620 sameAs 1562176620 @default.
• W1562176620 citedByCount "3" @default.
• W1562176620 crossrefType "book-chapter" @default.
• W1562176620 hasAuthorship W1562176620A5014089511 @default.
• W1562176620 hasBestOaLocation W15621766202 @default.
• W1562176620 hasConcept C11413529 @default.
• W1562176620 hasConcept C115961682 @default.
• W1562176620 hasConcept C118615104 @default.
• W1562176620 hasConcept C134306372 @default.
• W1562176620 hasConcept C135315306 @default.
• W1562176620 hasConcept C136119220 @default.
• W1562176620 hasConcept C138885662 @default.
• W1562176620 hasConcept C154945302 @default.
• W1562176620 hasConcept C161771561 @default.
• W1562176620 hasConcept C162324750 @default.
• W1562176620 hasConcept C176217482 @default.
• W1562176620 hasConcept C198043062 @default.
• W1562176620 hasConcept C199360897 @default.
• W1562176620 hasConcept C202444582 @default.
• W1562176620 hasConcept C21547014 @default.
• W1562176620 hasConcept C33923547 @default.
• W1562176620 hasConcept C36503486 @default.
• W1562176620 hasConcept C40231798 @default.
• W1562176620 hasConcept C41008148 @default.
• W1562176620 hasConcept C41895202 @default.
• W1562176620 hasConcept C80444323 @default.
• W1562176620 hasConcept C98045186 @default.
• W1562176620 hasConceptScore W1562176620C11413529 @default.
• W1562176620 hasConceptScore W1562176620C115961682 @default.
• W1562176620 hasConceptScore W1562176620C118615104 @default.
• W1562176620 hasConceptScore W1562176620C134306372 @default.
• W1562176620 hasConceptScore W1562176620C135315306 @default.
• W1562176620 hasConceptScore W1562176620C136119220 @default.
• W1562176620 hasConceptScore W1562176620C138885662 @default.
• W1562176620 hasConceptScore W1562176620C154945302 @default.
• W1562176620 hasConceptScore W1562176620C161771561 @default.
• W1562176620 hasConceptScore W1562176620C162324750 @default.
• W1562176620 hasConceptScore W1562176620C176217482 @default.
• W1562176620 hasConceptScore W1562176620C198043062 @default.
• W1562176620 hasConceptScore W1562176620C199360897 @default.
• W1562176620 hasConceptScore W1562176620C202444582 @default.
• W1562176620 hasConceptScore W1562176620C21547014 @default.
• W1562176620 hasConceptScore W1562176620C33923547 @default.
• W1562176620 hasConceptScore W1562176620C36503486 @default.
• W1562176620 hasConceptScore W1562176620C40231798 @default.
• W1562176620 hasConceptScore W1562176620C41008148 @default.
• W1562176620 hasConceptScore W1562176620C41895202 @default.
• W1562176620 hasConceptScore W1562176620C80444323 @default.
• W1562176620 hasConceptScore W1562176620C98045186 @default.
• W1562176620 hasLocation W15621766201 @default.
• W1562176620 hasLocation W15621766202 @default.
• W1562176620 hasOpenAccess W1562176620 @default.
• W1562176620 hasPrimaryLocation W15621766201 @default.
• W1562176620 hasRelatedWork W1524532297 @default.
• W1562176620 hasRelatedWork W1540568511 @default.
• W1562176620 hasRelatedWork W1580552115 @default.
• W1562176620 hasRelatedWork W1789400087 @default.
• W1562176620 hasRelatedWork W1975931092 @default.
• W1562176620 hasRelatedWork W2026252351 @default.
• W1562176620 hasRelatedWork W2052406844 @default.
• W1562176620 hasRelatedWork W2076905458 @default.
• W1562176620 hasRelatedWork W2128248025 @default.
• W1562176620 hasRelatedWork W2397543279 @default.
• W1562176620 hasRelatedWork W2551060390 @default.
• W1562176620 hasRelatedWork W2558116161 @default.
• W1562176620 hasRelatedWork W2561023929 @default.
• W1562176620 hasRelatedWork W2950646262 @default.
• W1562176620 hasRelatedWork W2970127373 @default.
• W1562176620 hasRelatedWork W3200336857 @default.
• W1562176620 hasRelatedWork W590775442 @default.
• W1562176620 hasRelatedWork W593823043 @default.
• W1562176620 hasRelatedWork W71226774 @default.
• W1562176620 hasRelatedWork W1719324582 @default.
• W1562176620 isParatext "false" @default.
• W1562176620 isRetracted "false" @default.

• next