Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100358224> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2100358224 abstract "Complex heterogeneous systems are usually specified at system level by a set of interacting cores each of which can be implemented in a different, domain-specific language. The dynamic verification of such systems requires a coupling of a set of language-specific simulators to a multilanguage simulation system such that the simulation semantics of each individual language are respected. In order to aid a semantics-preserving coupling this paper introduces an operational framework based upon which the simulation semantics of different languages can be formally captured and their correct co-simulation semantics can be derived. This formalisation of the simulation semantics is founded on a fixed set of semantic primitives for capturing model structure, behaviour communication, timing, and scheduling. All parts of the presented framework are defined in the single unifying notation of the /spl pi/-calculus process algebra." @default.
- W2100358224 created "2016-06-24" @default.
- W2100358224 creator A5064199813 @default.
- W2100358224 creator A5076758899 @default.
- W2100358224 date "2002-11-13" @default.
- W2100358224 modified "2023-09-25" @default.
- W2100358224 title "An operational framework for the multi-lingual system simulation based on π-calculus" @default.
- W2100358224 cites W1496267491 @default.
- W2100358224 cites W150012838 @default.
- W2100358224 cites W1588730425 @default.
- W2100358224 cites W1779536029 @default.
- W2100358224 cites W1969402593 @default.
- W2100358224 cites W2000338814 @default.
- W2100358224 cites W2001793006 @default.
- W2100358224 cites W2044050206 @default.
- W2100358224 cites W2125415493 @default.
- W2100358224 cites W2166720067 @default.
- W2100358224 cites W2267176325 @default.
- W2100358224 cites W25583328 @default.
- W2100358224 doi "https://doi.org/10.1109/sccc.2001.972658" @default.
- W2100358224 hasPublicationYear "2002" @default.
- W2100358224 type Work @default.
- W2100358224 sameAs 2100358224 @default.
- W2100358224 citedByCount "0" @default.
- W2100358224 crossrefType "proceedings-article" @default.
- W2100358224 hasAuthorship W2100358224A5064199813 @default.
- W2100358224 hasAuthorship W2100358224A5076758899 @default.
- W2100358224 hasConcept C126255220 @default.
- W2100358224 hasConcept C146499914 @default.
- W2100358224 hasConcept C156325763 @default.
- W2100358224 hasConcept C161771561 @default.
- W2100358224 hasConcept C177264268 @default.
- W2100358224 hasConcept C184337299 @default.
- W2100358224 hasConcept C199360897 @default.
- W2100358224 hasConcept C206729178 @default.
- W2100358224 hasConcept C2984882572 @default.
- W2100358224 hasConcept C33923547 @default.
- W2100358224 hasConcept C41008148 @default.
- W2100358224 hasConcept C45357846 @default.
- W2100358224 hasConcept C80444323 @default.
- W2100358224 hasConcept C94375191 @default.
- W2100358224 hasConceptScore W2100358224C126255220 @default.
- W2100358224 hasConceptScore W2100358224C146499914 @default.
- W2100358224 hasConceptScore W2100358224C156325763 @default.
- W2100358224 hasConceptScore W2100358224C161771561 @default.
- W2100358224 hasConceptScore W2100358224C177264268 @default.
- W2100358224 hasConceptScore W2100358224C184337299 @default.
- W2100358224 hasConceptScore W2100358224C199360897 @default.
- W2100358224 hasConceptScore W2100358224C206729178 @default.
- W2100358224 hasConceptScore W2100358224C2984882572 @default.
- W2100358224 hasConceptScore W2100358224C33923547 @default.
- W2100358224 hasConceptScore W2100358224C41008148 @default.
- W2100358224 hasConceptScore W2100358224C45357846 @default.
- W2100358224 hasConceptScore W2100358224C80444323 @default.
- W2100358224 hasConceptScore W2100358224C94375191 @default.
- W2100358224 hasLocation W21003582241 @default.
- W2100358224 hasOpenAccess W2100358224 @default.
- W2100358224 hasPrimaryLocation W21003582241 @default.
- W2100358224 hasRelatedWork W1512956561 @default.
- W2100358224 hasRelatedWork W1528794170 @default.
- W2100358224 hasRelatedWork W1548926273 @default.
- W2100358224 hasRelatedWork W1561954894 @default.
- W2100358224 hasRelatedWork W1601754975 @default.
- W2100358224 hasRelatedWork W1629096835 @default.
- W2100358224 hasRelatedWork W1998200100 @default.
- W2100358224 hasRelatedWork W2018779008 @default.
- W2100358224 hasRelatedWork W2024758402 @default.
- W2100358224 hasRelatedWork W2086636974 @default.
- W2100358224 hasRelatedWork W2097640786 @default.
- W2100358224 hasRelatedWork W2110411767 @default.
- W2100358224 hasRelatedWork W2113239343 @default.
- W2100358224 hasRelatedWork W2121293895 @default.
- W2100358224 hasRelatedWork W2154476363 @default.
- W2100358224 hasRelatedWork W2156232552 @default.
- W2100358224 hasRelatedWork W2262960079 @default.
- W2100358224 hasRelatedWork W2540576502 @default.
- W2100358224 hasRelatedWork W2543504053 @default.
- W2100358224 hasRelatedWork W2549142495 @default.
- W2100358224 isParatext "false" @default.
- W2100358224 isRetracted "false" @default.
- W2100358224 magId "2100358224" @default.
- W2100358224 workType "article" @default.