FRINK Linked Data Fragments server

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

• W2143336970 abstract "We describe a formal approach to the modelling of existing concurrent software systems, together with a theory of program equivalence and refinement. From this basis, we show how correctness-preserving transformations and refinements may be developed and proved, allowing us to change the structure of concurrent programs whilst preserving their functional behaviour. We then demonstrate the application of transformations to a simple concurrent program implementing a mutual exclusion algorithm, to illustrate its restructuring into a simpler form, and outline how the formal modelling of the program allows us to derive safety and liveness properties" @default.
• W2143336970 created "2016-06-24" @default.
• W2143336970 creator A5011804963 @default.
• W2143336970 creator A5030196301 @default.
• W2143336970 creator A5088598915 @default.
• W2143336970 date "2002-11-23" @default.
• W2143336970 modified "2023-09-23" @default.
• W2143336970 title "A formal transformation and refinement method for concurrent programs" @default.
• W2143336970 cites W1483025148 @default.
• W2143336970 cites W1497695679 @default.
• W2143336970 cites W1503973138 @default.
• W2143336970 cites W1505381032 @default.
• W2143336970 cites W1552647623 @default.
• W2143336970 cites W1554859476 @default.
• W2143336970 cites W1636146262 @default.
• W2143336970 cites W1917981004 @default.
• W2143336970 cites W1950618140 @default.
• W2143336970 cites W1964727056 @default.
• W2143336970 cites W2016211937 @default.
• W2143336970 cites W2074756472 @default.
• W2143336970 cites W2097838240 @default.
• W2143336970 cites W2099401177 @default.
• W2143336970 cites W2140525979 @default.
• W2143336970 cites W2151087342 @default.
• W2143336970 cites W2341846911 @default.
• W2143336970 cites W2502504728 @default.
• W2143336970 cites W3144368627 @default.
• W2143336970 cites W1550890486 @default.
• W2143336970 doi "https://doi.org/10.1109/icsm.1997.624256" @default.
• W2143336970 hasPublicationYear "2002" @default.
• W2143336970 type Work @default.
• W2143336970 sameAs 2143336970 @default.
• W2143336970 citedByCount "3" @default.
• W2143336970 countsByYear W21433369702012 @default.
• W2143336970 countsByYear W21433369702013 @default.
• W2143336970 countsByYear W21433369702017 @default.
• W2143336970 crossrefType "proceedings-article" @default.
• W2143336970 hasAuthorship W2143336970A5011804963 @default.
• W2143336970 hasAuthorship W2143336970A5030196301 @default.
• W2143336970 hasAuthorship W2143336970A5088598915 @default.
• W2143336970 hasConcept C104317684 @default.
• W2143336970 hasConcept C118615104 @default.
• W2143336970 hasConcept C14331664 @default.
• W2143336970 hasConcept C15569618 @default.
• W2143336970 hasConcept C185592680 @default.
• W2143336970 hasConcept C193702766 @default.
• W2143336970 hasConcept C199360897 @default.
• W2143336970 hasConcept C204241405 @default.
• W2143336970 hasConcept C2778361913 @default.
• W2143336970 hasConcept C2780069185 @default.
• W2143336970 hasConcept C33923547 @default.
• W2143336970 hasConcept C41008148 @default.
• W2143336970 hasConcept C55439883 @default.
• W2143336970 hasConcept C55493867 @default.
• W2143336970 hasConcept C56348326 @default.
• W2143336970 hasConcept C75606506 @default.
• W2143336970 hasConcept C80444323 @default.
• W2143336970 hasConcept C90483712 @default.
• W2143336970 hasConceptScore W2143336970C104317684 @default.
• W2143336970 hasConceptScore W2143336970C118615104 @default.
• W2143336970 hasConceptScore W2143336970C14331664 @default.
• W2143336970 hasConceptScore W2143336970C15569618 @default.
• W2143336970 hasConceptScore W2143336970C185592680 @default.
• W2143336970 hasConceptScore W2143336970C193702766 @default.
• W2143336970 hasConceptScore W2143336970C199360897 @default.
• W2143336970 hasConceptScore W2143336970C204241405 @default.
• W2143336970 hasConceptScore W2143336970C2778361913 @default.
• W2143336970 hasConceptScore W2143336970C2780069185 @default.
• W2143336970 hasConceptScore W2143336970C33923547 @default.
• W2143336970 hasConceptScore W2143336970C41008148 @default.
• W2143336970 hasConceptScore W2143336970C55439883 @default.
• W2143336970 hasConceptScore W2143336970C55493867 @default.
• W2143336970 hasConceptScore W2143336970C56348326 @default.
• W2143336970 hasConceptScore W2143336970C75606506 @default.
• W2143336970 hasConceptScore W2143336970C80444323 @default.
• W2143336970 hasConceptScore W2143336970C90483712 @default.
• W2143336970 hasLocation W21433369701 @default.
• W2143336970 hasOpenAccess W2143336970 @default.
• W2143336970 hasPrimaryLocation W21433369701 @default.
• W2143336970 hasRelatedWork W1482312778 @default.
• W2143336970 hasRelatedWork W1569453539 @default.
• W2143336970 hasRelatedWork W1601208182 @default.
• W2143336970 hasRelatedWork W1675507648 @default.
• W2143336970 hasRelatedWork W2002662905 @default.
• W2143336970 hasRelatedWork W2102886900 @default.
• W2143336970 hasRelatedWork W2284136481 @default.
• W2143336970 hasRelatedWork W2344127690 @default.
• W2143336970 hasRelatedWork W2406066661 @default.
• W2143336970 hasRelatedWork W2479863481 @default.
• W2143336970 hasRelatedWork W2552090067 @default.
• W2143336970 hasRelatedWork W2892260783 @default.
• W2143336970 hasRelatedWork W2949490963 @default.
• W2143336970 hasRelatedWork W348229239 @default.
• W2143336970 hasRelatedWork W410633824 @default.
• W2143336970 hasRelatedWork W78157545 @default.
• W2143336970 hasRelatedWork W97395656 @default.
• W2143336970 hasRelatedWork W3143014315 @default.
• W2143336970 hasRelatedWork W3150875667 @default.
• W2143336970 hasRelatedWork W345132012 @default.
• W2143336970 isParatext "false" @default.

• next