Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077829306> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2077829306 endingPage "21" @default.
- W2077829306 startingPage "8" @default.
- W2077829306 abstract "A new algebraic model is proposed for operational behavior of parallel systems and present syntax and formal semantics of a specification language based on it are presented. In our model, a parallel system is considered to generate events which we consider as primitive operations of the system, not only in a sequence, but also in parallel. To characterize a history of operational behavior formally, we introduce three types of binary relations between events: timing relation, causality relation; and value relation. The history of operational behavior is considered as a set of events which these three relations are given. In a specification of parallel systems, the characteristics are specified which it should satisfy in its history of operational behavior and they are described in a first-order predicate logic by using the three binary relations. These descriptions can be considered as axioms on the relations. Formal semantics of the specification becomes a maximal set of events which can be deduced from the axioms given as specification and initial value and input patterns of the system. This is proved to be a fix point of the deduction step." @default.
- W2077829306 created "2016-06-24" @default.
- W2077829306 creator A5024962148 @default.
- W2077829306 creator A5054859202 @default.
- W2077829306 creator A5078043326 @default.
- W2077829306 date "1988-01-01" @default.
- W2077829306 modified "2023-09-27" @default.
- W2077829306 title "Algebraic Specification of Parallel Systems Based on Binary Relations between Events" @default.
- W2077829306 cites W2014708482 @default.
- W2077829306 cites W2028621470 @default.
- W2077829306 cites W2108911687 @default.
- W2077829306 cites W2148620491 @default.
- W2077829306 cites W2899987233 @default.
- W2077829306 cites W4211008702 @default.
- W2077829306 cites W4240161388 @default.
- W2077829306 cites W4300128858 @default.
- W2077829306 doi "https://doi.org/10.1002/scj.4690191002" @default.
- W2077829306 hasPublicationYear "1988" @default.
- W2077829306 type Work @default.
- W2077829306 sameAs 2077829306 @default.
- W2077829306 citedByCount "0" @default.
- W2077829306 crossrefType "journal-article" @default.
- W2077829306 hasAuthorship W2077829306A5024962148 @default.
- W2077829306 hasAuthorship W2077829306A5054859202 @default.
- W2077829306 hasAuthorship W2077829306A5078043326 @default.
- W2077829306 hasConcept C11413529 @default.
- W2077829306 hasConcept C116253237 @default.
- W2077829306 hasConcept C118615104 @default.
- W2077829306 hasConcept C134306372 @default.
- W2077829306 hasConcept C140146324 @default.
- W2077829306 hasConcept C156325763 @default.
- W2077829306 hasConcept C167729594 @default.
- W2077829306 hasConcept C184337299 @default.
- W2077829306 hasConcept C199360897 @default.
- W2077829306 hasConcept C201677973 @default.
- W2077829306 hasConcept C2524010 @default.
- W2077829306 hasConcept C2779729104 @default.
- W2077829306 hasConcept C33923547 @default.
- W2077829306 hasConcept C41008148 @default.
- W2077829306 hasConcept C65180967 @default.
- W2077829306 hasConcept C80444323 @default.
- W2077829306 hasConcept C9376300 @default.
- W2077829306 hasConceptScore W2077829306C11413529 @default.
- W2077829306 hasConceptScore W2077829306C116253237 @default.
- W2077829306 hasConceptScore W2077829306C118615104 @default.
- W2077829306 hasConceptScore W2077829306C134306372 @default.
- W2077829306 hasConceptScore W2077829306C140146324 @default.
- W2077829306 hasConceptScore W2077829306C156325763 @default.
- W2077829306 hasConceptScore W2077829306C167729594 @default.
- W2077829306 hasConceptScore W2077829306C184337299 @default.
- W2077829306 hasConceptScore W2077829306C199360897 @default.
- W2077829306 hasConceptScore W2077829306C201677973 @default.
- W2077829306 hasConceptScore W2077829306C2524010 @default.
- W2077829306 hasConceptScore W2077829306C2779729104 @default.
- W2077829306 hasConceptScore W2077829306C33923547 @default.
- W2077829306 hasConceptScore W2077829306C41008148 @default.
- W2077829306 hasConceptScore W2077829306C65180967 @default.
- W2077829306 hasConceptScore W2077829306C80444323 @default.
- W2077829306 hasConceptScore W2077829306C9376300 @default.
- W2077829306 hasIssue "10" @default.
- W2077829306 hasLocation W20778293061 @default.
- W2077829306 hasOpenAccess W2077829306 @default.
- W2077829306 hasPrimaryLocation W20778293061 @default.
- W2077829306 hasRelatedWork W15121353 @default.
- W2077829306 hasRelatedWork W1526331441 @default.
- W2077829306 hasRelatedWork W1570751719 @default.
- W2077829306 hasRelatedWork W1577357613 @default.
- W2077829306 hasRelatedWork W1580916829 @default.
- W2077829306 hasRelatedWork W1796881840 @default.
- W2077829306 hasRelatedWork W2066455918 @default.
- W2077829306 hasRelatedWork W2136711795 @default.
- W2077829306 hasRelatedWork W2162919535 @default.
- W2077829306 hasRelatedWork W2352585215 @default.
- W2077829306 hasRelatedWork W2417163 @default.
- W2077829306 hasRelatedWork W2491372439 @default.
- W2077829306 hasRelatedWork W2736548026 @default.
- W2077829306 hasRelatedWork W2951973420 @default.
- W2077829306 hasRelatedWork W2965405805 @default.
- W2077829306 hasRelatedWork W2969455691 @default.
- W2077829306 hasRelatedWork W2989244323 @default.
- W2077829306 hasRelatedWork W3099526688 @default.
- W2077829306 hasRelatedWork W3105021376 @default.
- W2077829306 hasRelatedWork W2186203159 @default.
- W2077829306 hasVolume "19" @default.
- W2077829306 isParatext "false" @default.
- W2077829306 isRetracted "false" @default.
- W2077829306 magId "2077829306" @default.
- W2077829306 workType "article" @default.