Matches in SemOpenAlex for { <https://semopenalex.org/work/W2760372412> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2760372412 abstract "Abstract The correctness of system is an important attribute to quantify the quality. δ -bisimulation based on complete lattices have been proposed to generalize the classical bisimulation. To analyze the implementations of system approximates its specification step by step, the infinite evolution mechanism of δ -bisimulation is established. Firstly, the relations between the implementations and specification under δ -bisimulation are analyzed, δ -limit bisimulation is defined and some examples of δ -limit bisimulations are given. Then, δ -bisimulation limit is proposed to state the specification is the limit of implementations. Some algebraical properties of δ -bisimulation limit are proved. Finally, in order to use the flexible hierarchic development and modular design methods to archive the limit, the continuous of δ -bisimulation limit under various combinators are showed." @default.
- W2760372412 created "2017-10-06" @default.
- W2760372412 creator A5055473786 @default.
- W2760372412 creator A5080712914 @default.
- W2760372412 date "2017-09-01" @default.
- W2760372412 modified "2023-10-17" @default.
- W2760372412 title "The Approximate Correctness of Systems Based on δ -bisimulation" @default.
- W2760372412 cites W1503973138 @default.
- W2760372412 cites W1546768510 @default.
- W2760372412 cites W1568513899 @default.
- W2760372412 cites W1586805319 @default.
- W2760372412 cites W1975701123 @default.
- W2760372412 cites W1979707769 @default.
- W2760372412 cites W1980535239 @default.
- W2760372412 cites W2043907610 @default.
- W2760372412 cites W2088189255 @default.
- W2760372412 cites W2091451423 @default.
- W2760372412 cites W2092092493 @default.
- W2760372412 cites W2108886305 @default.
- W2760372412 cites W2118229393 @default.
- W2760372412 cites W2137777756 @default.
- W2760372412 cites W2154274300 @default.
- W2760372412 cites W3004901672 @default.
- W2760372412 cites W3022137235 @default.
- W2760372412 doi "https://doi.org/10.1016/j.entcs.2017.08.007" @default.
- W2760372412 hasPublicationYear "2017" @default.
- W2760372412 type Work @default.
- W2760372412 sameAs 2760372412 @default.
- W2760372412 citedByCount "1" @default.
- W2760372412 countsByYear W27603724122021 @default.
- W2760372412 crossrefType "journal-article" @default.
- W2760372412 hasAuthorship W2760372412A5055473786 @default.
- W2760372412 hasAuthorship W2760372412A5080712914 @default.
- W2760372412 hasBestOaLocation W27603724121 @default.
- W2760372412 hasConcept C101468663 @default.
- W2760372412 hasConcept C11413529 @default.
- W2760372412 hasConcept C134306372 @default.
- W2760372412 hasConcept C135315306 @default.
- W2760372412 hasConcept C136119220 @default.
- W2760372412 hasConcept C151201525 @default.
- W2760372412 hasConcept C199360897 @default.
- W2760372412 hasConcept C202444582 @default.
- W2760372412 hasConcept C26713055 @default.
- W2760372412 hasConcept C33923547 @default.
- W2760372412 hasConcept C41008148 @default.
- W2760372412 hasConcept C55439883 @default.
- W2760372412 hasConcept C80444323 @default.
- W2760372412 hasConceptScore W2760372412C101468663 @default.
- W2760372412 hasConceptScore W2760372412C11413529 @default.
- W2760372412 hasConceptScore W2760372412C134306372 @default.
- W2760372412 hasConceptScore W2760372412C135315306 @default.
- W2760372412 hasConceptScore W2760372412C136119220 @default.
- W2760372412 hasConceptScore W2760372412C151201525 @default.
- W2760372412 hasConceptScore W2760372412C199360897 @default.
- W2760372412 hasConceptScore W2760372412C202444582 @default.
- W2760372412 hasConceptScore W2760372412C26713055 @default.
- W2760372412 hasConceptScore W2760372412C33923547 @default.
- W2760372412 hasConceptScore W2760372412C41008148 @default.
- W2760372412 hasConceptScore W2760372412C55439883 @default.
- W2760372412 hasConceptScore W2760372412C80444323 @default.
- W2760372412 hasLocation W27603724121 @default.
- W2760372412 hasOpenAccess W2760372412 @default.
- W2760372412 hasPrimaryLocation W27603724121 @default.
- W2760372412 hasRelatedWork W110424133 @default.
- W2760372412 hasRelatedWork W1509030580 @default.
- W2760372412 hasRelatedWork W1514174256 @default.
- W2760372412 hasRelatedWork W1975701123 @default.
- W2760372412 hasRelatedWork W1980535239 @default.
- W2760372412 hasRelatedWork W1989459082 @default.
- W2760372412 hasRelatedWork W2092092493 @default.
- W2760372412 hasRelatedWork W2126519460 @default.
- W2760372412 hasRelatedWork W2140907939 @default.
- W2760372412 hasRelatedWork W2141421005 @default.
- W2760372412 hasRelatedWork W2315438643 @default.
- W2760372412 hasRelatedWork W2330102972 @default.
- W2760372412 hasRelatedWork W2354904146 @default.
- W2760372412 hasRelatedWork W2360135384 @default.
- W2760372412 hasRelatedWork W2521075542 @default.
- W2760372412 hasRelatedWork W2562650109 @default.
- W2760372412 hasRelatedWork W2959774828 @default.
- W2760372412 hasRelatedWork W2995181781 @default.
- W2760372412 hasRelatedWork W3145956809 @default.
- W2760372412 hasRelatedWork W827347906 @default.
- W2760372412 isParatext "false" @default.
- W2760372412 isRetracted "false" @default.
- W2760372412 magId "2760372412" @default.
- W2760372412 workType "article" @default.