Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486557055> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1486557055 abstract "Action systems are used to extend program refinement methods for sequential programs, as described in the refinement calculus, to parallel and reactive system refinement. They provide a general description of reactive systems, capable of modeling terminating, possibly aborting and infinitely repeating systems. We show how to extend the action system model to refinement of modular systems. A module may export and import variables, it may provide access procedures for other modules, and it may itself access procedures of other modules. Modules may have autonomous internal activity and may execute in parallel or in sequence. Modules may be nested within each other. They may communicate by shared variables, shared actions, a generalized form of remote procedure calls and by persistent data structures. Both synchronous and asynchronous communication between modules is supported. The paper shows how a single framework can be used for both the specification of large systems, the modular decomposition of the system into smaller units and the refinement of the modules into program modules that can be described in a standard programming language and executed on standard hardware." @default.
- W1486557055 created "2016-06-24" @default.
- W1486557055 creator A5049657251 @default.
- W1486557055 creator A5082820370 @default.
- W1486557055 date "1994-01-01" @default.
- W1486557055 modified "2023-09-22" @default.
- W1486557055 title "From action systems to modular systems" @default.
- W1486557055 cites W1541118615 @default.
- W1486557055 cites W2005952505 @default.
- W1486557055 cites W2030865387 @default.
- W1486557055 cites W2038814435 @default.
- W1486557055 cites W2043279475 @default.
- W1486557055 cites W2082724648 @default.
- W1486557055 cites W2087713039 @default.
- W1486557055 cites W2100827465 @default.
- W1486557055 cites W2117526806 @default.
- W1486557055 cites W2157118812 @default.
- W1486557055 cites W2174153543 @default.
- W1486557055 cites W4211008702 @default.
- W1486557055 doi "https://doi.org/10.1007/3-540-58555-9_83" @default.
- W1486557055 hasPublicationYear "1994" @default.
- W1486557055 type Work @default.
- W1486557055 sameAs 1486557055 @default.
- W1486557055 citedByCount "32" @default.
- W1486557055 countsByYear W14865570552015 @default.
- W1486557055 countsByYear W14865570552016 @default.
- W1486557055 countsByYear W14865570552017 @default.
- W1486557055 countsByYear W14865570552018 @default.
- W1486557055 crossrefType "book-chapter" @default.
- W1486557055 hasAuthorship W1486557055A5049657251 @default.
- W1486557055 hasAuthorship W1486557055A5082820370 @default.
- W1486557055 hasConcept C101468663 @default.
- W1486557055 hasConcept C120314980 @default.
- W1486557055 hasConcept C121332964 @default.
- W1486557055 hasConcept C124681953 @default.
- W1486557055 hasConcept C151319957 @default.
- W1486557055 hasConcept C18903297 @default.
- W1486557055 hasConcept C199360897 @default.
- W1486557055 hasConcept C2780791683 @default.
- W1486557055 hasConcept C31258907 @default.
- W1486557055 hasConcept C41008148 @default.
- W1486557055 hasConcept C62520636 @default.
- W1486557055 hasConcept C80444323 @default.
- W1486557055 hasConcept C86803240 @default.
- W1486557055 hasConcept C90483712 @default.
- W1486557055 hasConceptScore W1486557055C101468663 @default.
- W1486557055 hasConceptScore W1486557055C120314980 @default.
- W1486557055 hasConceptScore W1486557055C121332964 @default.
- W1486557055 hasConceptScore W1486557055C124681953 @default.
- W1486557055 hasConceptScore W1486557055C151319957 @default.
- W1486557055 hasConceptScore W1486557055C18903297 @default.
- W1486557055 hasConceptScore W1486557055C199360897 @default.
- W1486557055 hasConceptScore W1486557055C2780791683 @default.
- W1486557055 hasConceptScore W1486557055C31258907 @default.
- W1486557055 hasConceptScore W1486557055C41008148 @default.
- W1486557055 hasConceptScore W1486557055C62520636 @default.
- W1486557055 hasConceptScore W1486557055C80444323 @default.
- W1486557055 hasConceptScore W1486557055C86803240 @default.
- W1486557055 hasConceptScore W1486557055C90483712 @default.
- W1486557055 hasLocation W14865570551 @default.
- W1486557055 hasOpenAccess W1486557055 @default.
- W1486557055 hasPrimaryLocation W14865570551 @default.
- W1486557055 hasRelatedWork W117456435 @default.
- W1486557055 hasRelatedWork W1489503486 @default.
- W1486557055 hasRelatedWork W1511227926 @default.
- W1486557055 hasRelatedWork W1511826042 @default.
- W1486557055 hasRelatedWork W1526969236 @default.
- W1486557055 hasRelatedWork W1541118615 @default.
- W1486557055 hasRelatedWork W1556900989 @default.
- W1486557055 hasRelatedWork W1559870885 @default.
- W1486557055 hasRelatedWork W1857327297 @default.
- W1486557055 hasRelatedWork W2005952505 @default.
- W1486557055 hasRelatedWork W2030828698 @default.
- W1486557055 hasRelatedWork W2037704142 @default.
- W1486557055 hasRelatedWork W2043279475 @default.
- W1486557055 hasRelatedWork W2066245151 @default.
- W1486557055 hasRelatedWork W2103953153 @default.
- W1486557055 hasRelatedWork W2147196536 @default.
- W1486557055 hasRelatedWork W233399828 @default.
- W1486557055 hasRelatedWork W3144368627 @default.
- W1486557055 hasRelatedWork W1562744003 @default.
- W1486557055 hasRelatedWork W3185910042 @default.
- W1486557055 isParatext "false" @default.
- W1486557055 isRetracted "false" @default.
- W1486557055 magId "1486557055" @default.
- W1486557055 workType "book-chapter" @default.