Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569013440> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1569013440 abstract "Abstract Distributed Systems offer new challenges and and new opportunities for the application of Formal Description Techniques (FDTs). Dynamic Reconfigurtion of Systems (either predicted or spontaneous) is one of the major issues to be addressed. The process part of LOTOS is based on a CCS-like process calculus, and, as such, lacks the basic dynamic reconfiguration capabilities. Such capabilities are naturally mirrored in Object Based languages and in Milner's & al π-calculus. In the paper, we demonstrate that when one considers Full LOTOS, i.e., LOTOS including Act One and Value-Passing, these capabilities can be modelled. OL1 is a simple language designed to exhibit the essential dynamic characteristics of object-based languages. A semantics preserving translation of OL1 into LOTOS is given. A major “byproduct” of this translation is the definition of a new specification style for LOTOS: the object-based style." @default.
- W1569013440 created "2016-06-24" @default.
- W1569013440 creator A5034444117 @default.
- W1569013440 creator A5036998619 @default.
- W1569013440 date "1992-01-01" @default.
- W1569013440 modified "2023-09-27" @default.
- W1569013440 title "Dynamic Configuration in LOTOS" @default.
- W1569013440 cites W1481268455 @default.
- W1569013440 cites W1481304056 @default.
- W1569013440 cites W1554344812 @default.
- W1569013440 cites W1582417624 @default.
- W1569013440 cites W1789824541 @default.
- W1569013440 cites W179095166 @default.
- W1569013440 cites W1982750777 @default.
- W1569013440 cites W1993503482 @default.
- W1569013440 cites W2004309454 @default.
- W1569013440 cites W2070703157 @default.
- W1569013440 cites W2094935854 @default.
- W1569013440 cites W2121372686 @default.
- W1569013440 cites W2138387375 @default.
- W1569013440 doi "https://doi.org/10.1016/b978-0-444-89402-1.50024-2" @default.
- W1569013440 hasPublicationYear "1992" @default.
- W1569013440 type Work @default.
- W1569013440 sameAs 1569013440 @default.
- W1569013440 citedByCount "5" @default.
- W1569013440 countsByYear W15690134402013 @default.
- W1569013440 crossrefType "book-chapter" @default.
- W1569013440 hasAuthorship W1569013440A5034444117 @default.
- W1569013440 hasAuthorship W1569013440A5036998619 @default.
- W1569013440 hasConcept C104317684 @default.
- W1569013440 hasConcept C105580179 @default.
- W1569013440 hasConcept C119701452 @default.
- W1569013440 hasConcept C146499914 @default.
- W1569013440 hasConcept C149364088 @default.
- W1569013440 hasConcept C149635348 @default.
- W1569013440 hasConcept C154945302 @default.
- W1569013440 hasConcept C161771561 @default.
- W1569013440 hasConcept C184337299 @default.
- W1569013440 hasConcept C185592680 @default.
- W1569013440 hasConcept C199360897 @default.
- W1569013440 hasConcept C2781238097 @default.
- W1569013440 hasConcept C41008148 @default.
- W1569013440 hasConcept C55493867 @default.
- W1569013440 hasConcept C80444323 @default.
- W1569013440 hasConcept C98045186 @default.
- W1569013440 hasConceptScore W1569013440C104317684 @default.
- W1569013440 hasConceptScore W1569013440C105580179 @default.
- W1569013440 hasConceptScore W1569013440C119701452 @default.
- W1569013440 hasConceptScore W1569013440C146499914 @default.
- W1569013440 hasConceptScore W1569013440C149364088 @default.
- W1569013440 hasConceptScore W1569013440C149635348 @default.
- W1569013440 hasConceptScore W1569013440C154945302 @default.
- W1569013440 hasConceptScore W1569013440C161771561 @default.
- W1569013440 hasConceptScore W1569013440C184337299 @default.
- W1569013440 hasConceptScore W1569013440C185592680 @default.
- W1569013440 hasConceptScore W1569013440C199360897 @default.
- W1569013440 hasConceptScore W1569013440C2781238097 @default.
- W1569013440 hasConceptScore W1569013440C41008148 @default.
- W1569013440 hasConceptScore W1569013440C55493867 @default.
- W1569013440 hasConceptScore W1569013440C80444323 @default.
- W1569013440 hasConceptScore W1569013440C98045186 @default.
- W1569013440 hasLocation W15690134401 @default.
- W1569013440 hasOpenAccess W1569013440 @default.
- W1569013440 hasPrimaryLocation W15690134401 @default.
- W1569013440 hasRelatedWork W119792330 @default.
- W1569013440 hasRelatedWork W122153333 @default.
- W1569013440 hasRelatedWork W1490183133 @default.
- W1569013440 hasRelatedWork W1493157339 @default.
- W1569013440 hasRelatedWork W1514802904 @default.
- W1569013440 hasRelatedWork W1561764937 @default.
- W1569013440 hasRelatedWork W1570275172 @default.
- W1569013440 hasRelatedWork W1588730425 @default.
- W1569013440 hasRelatedWork W1782011479 @default.
- W1569013440 hasRelatedWork W1988608457 @default.
- W1569013440 hasRelatedWork W2121372686 @default.
- W1569013440 hasRelatedWork W2144545266 @default.
- W1569013440 hasRelatedWork W2189300559 @default.
- W1569013440 hasRelatedWork W2288921482 @default.
- W1569013440 hasRelatedWork W2324415392 @default.
- W1569013440 hasRelatedWork W2521876884 @default.
- W1569013440 hasRelatedWork W3119871306 @default.
- W1569013440 hasRelatedWork W3144368627 @default.
- W1569013440 hasRelatedWork W3174096980 @default.
- W1569013440 hasRelatedWork W800226341 @default.
- W1569013440 isParatext "false" @default.
- W1569013440 isRetracted "false" @default.
- W1569013440 magId "1569013440" @default.
- W1569013440 workType "book-chapter" @default.