Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129573457> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2129573457 abstract "Graphical communicating shared resources, GCSR, is a formal language for the specification and analysis of real-time systems including their functional and resource requirements. GCSR allows a modular and hierarchical, and thus, scalable specification of a real-time system. GCSR supports notions of communication through events, interrupt, concurrency, and time to describe a real-time system. In addition, GCSR allows the explicit representation of resources and priorities to arbitrate resource contention in a natural way that produces easy to understand and modify specifications. The semantics of GCSR is the algebra of communicating shared resources, a timed process algebra with operational semantics. The process algebra provides behavioral equivalence relations which can be used to verify the correctness of one GCSR specification with respect to the other." @default.
- W2129573457 created "2016-06-24" @default.
- W2129573457 creator A5030456600 @default.
- W2129573457 creator A5031284602 @default.
- W2129573457 creator A5071197622 @default.
- W2129573457 date "2002-11-19" @default.
- W2129573457 modified "2023-10-06" @default.
- W2129573457 title "A graphical language with formal semantics for the specification and analysis of real-time systems" @default.
- W2129573457 cites W1557363488 @default.
- W2129573457 cites W1557493688 @default.
- W2129573457 cites W2099529102 @default.
- W2129573457 cites W2100340106 @default.
- W2129573457 cites W2104445411 @default.
- W2129573457 cites W2123717426 @default.
- W2129573457 doi "https://doi.org/10.1109/real.1995.495217" @default.
- W2129573457 hasPublicationYear "2002" @default.
- W2129573457 type Work @default.
- W2129573457 sameAs 2129573457 @default.
- W2129573457 citedByCount "12" @default.
- W2129573457 crossrefType "proceedings-article" @default.
- W2129573457 hasAuthorship W2129573457A5030456600 @default.
- W2129573457 hasAuthorship W2129573457A5031284602 @default.
- W2129573457 hasAuthorship W2129573457A5071197622 @default.
- W2129573457 hasConcept C116253237 @default.
- W2129573457 hasConcept C149635348 @default.
- W2129573457 hasConcept C155214134 @default.
- W2129573457 hasConcept C156325763 @default.
- W2129573457 hasConcept C161771561 @default.
- W2129573457 hasConcept C173018170 @default.
- W2129573457 hasConcept C184337299 @default.
- W2129573457 hasConcept C193702766 @default.
- W2129573457 hasConcept C199360897 @default.
- W2129573457 hasConcept C201677973 @default.
- W2129573457 hasConcept C41008148 @default.
- W2129573457 hasConcept C41661131 @default.
- W2129573457 hasConcept C48859967 @default.
- W2129573457 hasConcept C55439883 @default.
- W2129573457 hasConcept C75606506 @default.
- W2129573457 hasConcept C80444323 @default.
- W2129573457 hasConceptScore W2129573457C116253237 @default.
- W2129573457 hasConceptScore W2129573457C149635348 @default.
- W2129573457 hasConceptScore W2129573457C155214134 @default.
- W2129573457 hasConceptScore W2129573457C156325763 @default.
- W2129573457 hasConceptScore W2129573457C161771561 @default.
- W2129573457 hasConceptScore W2129573457C173018170 @default.
- W2129573457 hasConceptScore W2129573457C184337299 @default.
- W2129573457 hasConceptScore W2129573457C193702766 @default.
- W2129573457 hasConceptScore W2129573457C199360897 @default.
- W2129573457 hasConceptScore W2129573457C201677973 @default.
- W2129573457 hasConceptScore W2129573457C41008148 @default.
- W2129573457 hasConceptScore W2129573457C41661131 @default.
- W2129573457 hasConceptScore W2129573457C48859967 @default.
- W2129573457 hasConceptScore W2129573457C55439883 @default.
- W2129573457 hasConceptScore W2129573457C75606506 @default.
- W2129573457 hasConceptScore W2129573457C80444323 @default.
- W2129573457 hasLocation W21295734571 @default.
- W2129573457 hasOpenAccess W2129573457 @default.
- W2129573457 hasPrimaryLocation W21295734571 @default.
- W2129573457 hasRelatedWork W1513140821 @default.
- W2129573457 hasRelatedWork W2084871158 @default.
- W2129573457 hasRelatedWork W2124981297 @default.
- W2129573457 hasRelatedWork W2141935522 @default.
- W2129573457 hasRelatedWork W2156223462 @default.
- W2129573457 hasRelatedWork W25224113 @default.
- W2129573457 hasRelatedWork W27605384 @default.
- W2129573457 hasRelatedWork W2898425611 @default.
- W2129573457 hasRelatedWork W3021477639 @default.
- W2129573457 hasRelatedWork W3104229214 @default.
- W2129573457 isParatext "false" @default.
- W2129573457 isRetracted "false" @default.
- W2129573457 magId "2129573457" @default.
- W2129573457 workType "article" @default.