FRINK Linked Data Fragments server

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

• W2169194613 abstract "Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement arises when a dependency relation on the actions (in the Mazurkiewicz sense) is used to control the inheritance of orderings from the abstract level. In this paper we present a rather simple operational semantics for dependency-based action refinement. We show the consistency of the operational with a (previously published) denotational semantics. We moreover show that bisimulation is a congruence for dependency-based refinement. Finally, we give an illustrative example." @default.
• W2169194613 created "2016-06-24" @default.
• W2169194613 creator A5045219123 @default.
• W2169194613 creator A5046915601 @default.
• W2169194613 date "1997-01-01" @default.
• W2169194613 modified "2023-09-25" @default.
• W2169194613 title "Dependency-based action refinement" @default.
• W2169194613 cites W1515636722 @default.
• W2169194613 cites W1524925309 @default.
• W2169194613 cites W1547562281 @default.
• W2169194613 cites W1551769641 @default.
• W2169194613 cites W1559104316 @default.
• W2169194613 cites W1568442991 @default.
• W2169194613 cites W1705394006 @default.
• W2169194613 cites W1724419839 @default.
• W2169194613 cites W1755492414 @default.
• W2169194613 cites W1966112122 @default.
• W2169194613 cites W1998563363 @default.
• W2169194613 cites W2006300228 @default.
• W2169194613 cites W2021768695 @default.
• W2169194613 cites W2061743024 @default.
• W2169194613 cites W2095504289 @default.
• W2169194613 cites W2119186694 @default.
• W2169194613 cites W2121784234 @default.
• W2169194613 cites W2146485104 @default.
• W2169194613 doi "https://doi.org/10.1007/bfb0029990" @default.
• W2169194613 hasPublicationYear "1997" @default.
• W2169194613 type Work @default.
• W2169194613 sameAs 2169194613 @default.
• W2169194613 citedByCount "4" @default.
• W2169194613 crossrefType "book-chapter" @default.
• W2169194613 hasAuthorship W2169194613A5045219123 @default.
• W2169194613 hasAuthorship W2169194613A5046915601 @default.
• W2169194613 hasConcept C104317684 @default.
• W2169194613 hasConcept C121332964 @default.
• W2169194613 hasConcept C124101348 @default.
• W2169194613 hasConcept C135315306 @default.
• W2169194613 hasConcept C154945302 @default.
• W2169194613 hasConcept C156325763 @default.
• W2169194613 hasConcept C161771561 @default.
• W2169194613 hasConcept C184337299 @default.
• W2169194613 hasConcept C185592680 @default.
• W2169194613 hasConcept C193702766 @default.
• W2169194613 hasConcept C19768560 @default.
• W2169194613 hasConcept C199360897 @default.
• W2169194613 hasConcept C207648694 @default.
• W2169194613 hasConcept C25343380 @default.
• W2169194613 hasConcept C26320393 @default.
• W2169194613 hasConcept C2776436953 @default.
• W2169194613 hasConcept C2780791683 @default.
• W2169194613 hasConcept C2780902518 @default.
• W2169194613 hasConcept C41008148 @default.
• W2169194613 hasConcept C55493867 @default.
• W2169194613 hasConcept C5655090 @default.
• W2169194613 hasConcept C62520636 @default.
• W2169194613 hasConcept C80444323 @default.
• W2169194613 hasConceptScore W2169194613C104317684 @default.
• W2169194613 hasConceptScore W2169194613C121332964 @default.
• W2169194613 hasConceptScore W2169194613C124101348 @default.
• W2169194613 hasConceptScore W2169194613C135315306 @default.
• W2169194613 hasConceptScore W2169194613C154945302 @default.
• W2169194613 hasConceptScore W2169194613C156325763 @default.
• W2169194613 hasConceptScore W2169194613C161771561 @default.
• W2169194613 hasConceptScore W2169194613C184337299 @default.
• W2169194613 hasConceptScore W2169194613C185592680 @default.
• W2169194613 hasConceptScore W2169194613C193702766 @default.
• W2169194613 hasConceptScore W2169194613C19768560 @default.
• W2169194613 hasConceptScore W2169194613C199360897 @default.
• W2169194613 hasConceptScore W2169194613C207648694 @default.
• W2169194613 hasConceptScore W2169194613C25343380 @default.
• W2169194613 hasConceptScore W2169194613C26320393 @default.
• W2169194613 hasConceptScore W2169194613C2776436953 @default.
• W2169194613 hasConceptScore W2169194613C2780791683 @default.
• W2169194613 hasConceptScore W2169194613C2780902518 @default.
• W2169194613 hasConceptScore W2169194613C41008148 @default.
• W2169194613 hasConceptScore W2169194613C55493867 @default.
• W2169194613 hasConceptScore W2169194613C5655090 @default.
• W2169194613 hasConceptScore W2169194613C62520636 @default.
• W2169194613 hasConceptScore W2169194613C80444323 @default.
• W2169194613 hasLocation W21691946131 @default.
• W2169194613 hasOpenAccess W2169194613 @default.
• W2169194613 hasPrimaryLocation W21691946131 @default.
• W2169194613 hasRelatedWork W1551896235 @default.
• W2169194613 hasRelatedWork W1969947545 @default.
• W2169194613 hasRelatedWork W1986523916 @default.
• W2169194613 hasRelatedWork W2001567495 @default.
• W2169194613 hasRelatedWork W2005328758 @default.
• W2169194613 hasRelatedWork W2038821485 @default.
• W2169194613 hasRelatedWork W2046051500 @default.
• W2169194613 hasRelatedWork W2046950395 @default.
• W2169194613 hasRelatedWork W2072887188 @default.
• W2169194613 hasRelatedWork W2078105844 @default.
• W2169194613 hasRelatedWork W2084969057 @default.
• W2169194613 hasRelatedWork W2093089155 @default.
• W2169194613 hasRelatedWork W2095504289 @default.
• W2169194613 hasRelatedWork W2105135809 @default.
• W2169194613 hasRelatedWork W2150691311 @default.
• W2169194613 hasRelatedWork W3032462436 @default.
• W2169194613 hasRelatedWork W3177659913 @default.
• W2169194613 hasRelatedWork W3021799520 @default.

• next