Matches in SemOpenAlex for { <https://semopenalex.org/work/W2385944329> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2385944329 abstract "A program turns out to be an expression of operations on physical objects(operation expression or O_expression for short)when assignments are treated as operations on physical objects.BNF formulas are given to define O_expression syntax while axioms are proposed as semantics of O_expressions.An active O_expression computes some ultimate results.As such,an axiom for active O_expressions defines how a variable after the application of operations in an O_expression is precisely related to variables before the application.A reactive O_expression responses to requests from outside.An axiom,describing responses to requests,tells how a response should be made.Axioms on communications make sure that the right messages to be received by the right receivers while axioms about shared variables depict properties concerning shared variables.Examples are given to show how to analyze properties of asynchronous sequential O_expressions." @default.
- W2385944329 created "2016-06-24" @default.
- W2385944329 creator A5076775815 @default.
- W2385944329 date "2009-01-01" @default.
- W2385944329 modified "2023-09-28" @default.
- W2385944329 title "Program:Expressions of Operations on Physical Objects" @default.
- W2385944329 hasPublicationYear "2009" @default.
- W2385944329 type Work @default.
- W2385944329 sameAs 2385944329 @default.
- W2385944329 citedByCount "1" @default.
- W2385944329 countsByYear W23859443292013 @default.
- W2385944329 crossrefType "journal-article" @default.
- W2385944329 hasAuthorship W2385944329A5076775815 @default.
- W2385944329 hasConcept C134306372 @default.
- W2385944329 hasConcept C136119220 @default.
- W2385944329 hasConcept C151319957 @default.
- W2385944329 hasConcept C154945302 @default.
- W2385944329 hasConcept C167729594 @default.
- W2385944329 hasConcept C182365436 @default.
- W2385944329 hasConcept C184337299 @default.
- W2385944329 hasConcept C199360897 @default.
- W2385944329 hasConcept C202444582 @default.
- W2385944329 hasConcept C2524010 @default.
- W2385944329 hasConcept C31258907 @default.
- W2385944329 hasConcept C33923547 @default.
- W2385944329 hasConcept C41008148 @default.
- W2385944329 hasConcept C60048249 @default.
- W2385944329 hasConcept C80444323 @default.
- W2385944329 hasConcept C90559484 @default.
- W2385944329 hasConceptScore W2385944329C134306372 @default.
- W2385944329 hasConceptScore W2385944329C136119220 @default.
- W2385944329 hasConceptScore W2385944329C151319957 @default.
- W2385944329 hasConceptScore W2385944329C154945302 @default.
- W2385944329 hasConceptScore W2385944329C167729594 @default.
- W2385944329 hasConceptScore W2385944329C182365436 @default.
- W2385944329 hasConceptScore W2385944329C184337299 @default.
- W2385944329 hasConceptScore W2385944329C199360897 @default.
- W2385944329 hasConceptScore W2385944329C202444582 @default.
- W2385944329 hasConceptScore W2385944329C2524010 @default.
- W2385944329 hasConceptScore W2385944329C31258907 @default.
- W2385944329 hasConceptScore W2385944329C33923547 @default.
- W2385944329 hasConceptScore W2385944329C41008148 @default.
- W2385944329 hasConceptScore W2385944329C60048249 @default.
- W2385944329 hasConceptScore W2385944329C80444323 @default.
- W2385944329 hasConceptScore W2385944329C90559484 @default.
- W2385944329 hasOpenAccess W2385944329 @default.
- W2385944329 hasRelatedWork W1019857621 @default.
- W2385944329 hasRelatedWork W124543158 @default.
- W2385944329 hasRelatedWork W1477170694 @default.
- W2385944329 hasRelatedWork W1501262406 @default.
- W2385944329 hasRelatedWork W1599578423 @default.
- W2385944329 hasRelatedWork W1974528591 @default.
- W2385944329 hasRelatedWork W2017002167 @default.
- W2385944329 hasRelatedWork W2160937552 @default.
- W2385944329 hasRelatedWork W2161122997 @default.
- W2385944329 hasRelatedWork W2170346842 @default.
- W2385944329 hasRelatedWork W2171942207 @default.
- W2385944329 hasRelatedWork W2198111393 @default.
- W2385944329 hasRelatedWork W2313648447 @default.
- W2385944329 hasRelatedWork W2500838151 @default.
- W2385944329 hasRelatedWork W2556973440 @default.
- W2385944329 hasRelatedWork W2894034991 @default.
- W2385944329 hasRelatedWork W2952388772 @default.
- W2385944329 hasRelatedWork W3195206665 @default.
- W2385944329 hasRelatedWork W610581682 @default.
- W2385944329 hasRelatedWork W2613660041 @default.
- W2385944329 isParatext "false" @default.
- W2385944329 isRetracted "false" @default.
- W2385944329 magId "2385944329" @default.
- W2385944329 workType "article" @default.