Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107316249> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2107316249 abstract "In this paper, we define a formal communication semantics for SystemC/sup FL/ that deals with concurrency and interaction. The communication semantics of SystemC/sup FL/ is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemC/sup FL/ is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemC/sup FL/." @default.
- W2107316249 created "2016-06-24" @default.
- W2107316249 creator A5075116069 @default.
- W2107316249 date "2005-12-22" @default.
- W2107316249 modified "2023-09-26" @default.
- W2107316249 title "Formal Communication Semantics of SystemC^FL" @default.
- W2107316249 cites W1484479964 @default.
- W2107316249 cites W1573444781 @default.
- W2107316249 cites W1596885258 @default.
- W2107316249 cites W173674133 @default.
- W2107316249 cites W2000947342 @default.
- W2107316249 cites W2089546907 @default.
- W2107316249 cites W2099740052 @default.
- W2107316249 cites W2101508170 @default.
- W2107316249 cites W2115309705 @default.
- W2107316249 cites W2118229393 @default.
- W2107316249 cites W2127322244 @default.
- W2107316249 cites W2142065220 @default.
- W2107316249 cites W2158543119 @default.
- W2107316249 cites W2164989576 @default.
- W2107316249 cites W2340102009 @default.
- W2107316249 cites W2807800744 @default.
- W2107316249 cites W2809141712 @default.
- W2107316249 cites W2892842036 @default.
- W2107316249 cites W2809217447 @default.
- W2107316249 cites W2811459144 @default.
- W2107316249 doi "https://doi.org/10.1109/dsd.2005.41" @default.
- W2107316249 hasPublicationYear "2005" @default.
- W2107316249 type Work @default.
- W2107316249 sameAs 2107316249 @default.
- W2107316249 citedByCount "8" @default.
- W2107316249 countsByYear W21073162492016 @default.
- W2107316249 crossrefType "proceedings-article" @default.
- W2107316249 hasAuthorship W2107316249A5075116069 @default.
- W2107316249 hasConcept C111498074 @default.
- W2107316249 hasConcept C116253237 @default.
- W2107316249 hasConcept C146499914 @default.
- W2107316249 hasConcept C150607116 @default.
- W2107316249 hasConcept C156325763 @default.
- W2107316249 hasConcept C161771561 @default.
- W2107316249 hasConcept C184337299 @default.
- W2107316249 hasConcept C193702766 @default.
- W2107316249 hasConcept C199360897 @default.
- W2107316249 hasConcept C207648694 @default.
- W2107316249 hasConcept C2776928060 @default.
- W2107316249 hasConcept C41008148 @default.
- W2107316249 hasConcept C55439883 @default.
- W2107316249 hasConcept C75606506 @default.
- W2107316249 hasConceptScore W2107316249C111498074 @default.
- W2107316249 hasConceptScore W2107316249C116253237 @default.
- W2107316249 hasConceptScore W2107316249C146499914 @default.
- W2107316249 hasConceptScore W2107316249C150607116 @default.
- W2107316249 hasConceptScore W2107316249C156325763 @default.
- W2107316249 hasConceptScore W2107316249C161771561 @default.
- W2107316249 hasConceptScore W2107316249C184337299 @default.
- W2107316249 hasConceptScore W2107316249C193702766 @default.
- W2107316249 hasConceptScore W2107316249C199360897 @default.
- W2107316249 hasConceptScore W2107316249C207648694 @default.
- W2107316249 hasConceptScore W2107316249C2776928060 @default.
- W2107316249 hasConceptScore W2107316249C41008148 @default.
- W2107316249 hasConceptScore W2107316249C55439883 @default.
- W2107316249 hasConceptScore W2107316249C75606506 @default.
- W2107316249 hasLocation W21073162491 @default.
- W2107316249 hasOpenAccess W2107316249 @default.
- W2107316249 hasPrimaryLocation W21073162491 @default.
- W2107316249 hasRelatedWork W1483033785 @default.
- W2107316249 hasRelatedWork W1484479964 @default.
- W2107316249 hasRelatedWork W1494047408 @default.
- W2107316249 hasRelatedWork W1495562984 @default.
- W2107316249 hasRelatedWork W1574605805 @default.
- W2107316249 hasRelatedWork W1603039745 @default.
- W2107316249 hasRelatedWork W1896092679 @default.
- W2107316249 hasRelatedWork W2000182366 @default.
- W2107316249 hasRelatedWork W2000947342 @default.
- W2107316249 hasRelatedWork W2079105238 @default.
- W2107316249 hasRelatedWork W2099740052 @default.
- W2107316249 hasRelatedWork W2118229393 @default.
- W2107316249 hasRelatedWork W2127322244 @default.
- W2107316249 hasRelatedWork W2131403235 @default.
- W2107316249 hasRelatedWork W2154982982 @default.
- W2107316249 hasRelatedWork W2167554611 @default.
- W2107316249 hasRelatedWork W253048824 @default.
- W2107316249 hasRelatedWork W3021477639 @default.
- W2107316249 hasRelatedWork W33940506 @default.
- W2107316249 hasRelatedWork W769797923 @default.
- W2107316249 isParatext "false" @default.
- W2107316249 isRetracted "false" @default.
- W2107316249 magId "2107316249" @default.
- W2107316249 workType "article" @default.