Matches in SemOpenAlex for { <https://semopenalex.org/work/W2033382181> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2033382181 abstract "An existing proposal for the separation of concerns in distributed systems provides a formal, object-based, layered approach for the composition of independent communication services. Compatible with that approach, a notion of service is introduced, which suggests not only the composition of independent layers, but also the refinement of specifications of distributed systems through composition of layers. An abstract layer is specified by combining computational and temporal logic specifications. A description is given of how it can be specified and model checked in Maude." @default.
- W2033382181 created "2016-06-24" @default.
- W2033382181 creator A5080030776 @default.
- W2033382181 date "2005-01-01" @default.
- W2033382181 modified "2023-09-27" @default.
- W2033382181 title "An approach to developing modular specifications of distributed systems in Maude" @default.
- W2033382181 cites W1489490499 @default.
- W2033382181 cites W1976195354 @default.
- W2033382181 cites W2001487918 @default.
- W2033382181 cites W2134287022 @default.
- W2033382181 cites W2139895325 @default.
- W2033382181 cites W2464078483 @default.
- W2033382181 doi "https://doi.org/10.1109/mwscas.2005.1594106" @default.
- W2033382181 hasPublicationYear "2005" @default.
- W2033382181 type Work @default.
- W2033382181 sameAs 2033382181 @default.
- W2033382181 citedByCount "0" @default.
- W2033382181 crossrefType "proceedings-article" @default.
- W2033382181 hasAuthorship W2033382181A5080030776 @default.
- W2033382181 hasConcept C101468663 @default.
- W2033382181 hasConcept C110251889 @default.
- W2033382181 hasConcept C116253237 @default.
- W2033382181 hasConcept C120314980 @default.
- W2033382181 hasConcept C138885662 @default.
- W2033382181 hasConcept C154945302 @default.
- W2033382181 hasConcept C178790620 @default.
- W2033382181 hasConcept C185592680 @default.
- W2033382181 hasConcept C199360897 @default.
- W2033382181 hasConcept C25016198 @default.
- W2033382181 hasConcept C2777904410 @default.
- W2033382181 hasConcept C2779227376 @default.
- W2033382181 hasConcept C2781238097 @default.
- W2033382181 hasConcept C40231798 @default.
- W2033382181 hasConcept C41008148 @default.
- W2033382181 hasConcept C41895202 @default.
- W2033382181 hasConcept C73752529 @default.
- W2033382181 hasConcept C76214141 @default.
- W2033382181 hasConcept C80444323 @default.
- W2033382181 hasConceptScore W2033382181C101468663 @default.
- W2033382181 hasConceptScore W2033382181C110251889 @default.
- W2033382181 hasConceptScore W2033382181C116253237 @default.
- W2033382181 hasConceptScore W2033382181C120314980 @default.
- W2033382181 hasConceptScore W2033382181C138885662 @default.
- W2033382181 hasConceptScore W2033382181C154945302 @default.
- W2033382181 hasConceptScore W2033382181C178790620 @default.
- W2033382181 hasConceptScore W2033382181C185592680 @default.
- W2033382181 hasConceptScore W2033382181C199360897 @default.
- W2033382181 hasConceptScore W2033382181C25016198 @default.
- W2033382181 hasConceptScore W2033382181C2777904410 @default.
- W2033382181 hasConceptScore W2033382181C2779227376 @default.
- W2033382181 hasConceptScore W2033382181C2781238097 @default.
- W2033382181 hasConceptScore W2033382181C40231798 @default.
- W2033382181 hasConceptScore W2033382181C41008148 @default.
- W2033382181 hasConceptScore W2033382181C41895202 @default.
- W2033382181 hasConceptScore W2033382181C73752529 @default.
- W2033382181 hasConceptScore W2033382181C76214141 @default.
- W2033382181 hasConceptScore W2033382181C80444323 @default.
- W2033382181 hasLocation W20333821811 @default.
- W2033382181 hasOpenAccess W2033382181 @default.
- W2033382181 hasPrimaryLocation W20333821811 @default.
- W2033382181 hasRelatedWork W1601757209 @default.
- W2033382181 hasRelatedWork W178421615 @default.
- W2033382181 hasRelatedWork W1884942290 @default.
- W2033382181 hasRelatedWork W2033382181 @default.
- W2033382181 hasRelatedWork W2045840663 @default.
- W2033382181 hasRelatedWork W2099374974 @default.
- W2033382181 hasRelatedWork W2125047630 @default.
- W2033382181 hasRelatedWork W2774415564 @default.
- W2033382181 hasRelatedWork W3168724739 @default.
- W2033382181 hasRelatedWork W2808767067 @default.
- W2033382181 isParatext "false" @default.
- W2033382181 isRetracted "false" @default.
- W2033382181 magId "2033382181" @default.
- W2033382181 workType "article" @default.