Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913233410> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2913233410 endingPage "130" @default.
- W2913233410 startingPage "123" @default.
- W2913233410 abstract "This paper presents an algebraic calculus like the relational calculus for reasoning about sequential phenomena. It provides a common foundation for several proposed models of concurrent or reactive systems. It is clearly differentiated from the relational calculus by absence of a general converse operation. This permits the treatment of temporal logic within the sequential calculus." @default.
- W2913233410 created "2019-02-21" @default.
- W2913233410 creator A5052847689 @default.
- W2913233410 creator A5090399813 @default.
- W2913233410 date "1995-02-01" @default.
- W2913233410 modified "2023-10-14" @default.
- W2913233410 title "Sequential calculus" @default.
- W2913233410 cites W2006006495 @default.
- W2913233410 doi "https://doi.org/10.1016/0020-0190(94)00205-d" @default.
- W2913233410 hasPublicationYear "1995" @default.
- W2913233410 type Work @default.
- W2913233410 sameAs 2913233410 @default.
- W2913233410 citedByCount "38" @default.
- W2913233410 countsByYear W29132334102012 @default.
- W2913233410 countsByYear W29132334102017 @default.
- W2913233410 countsByYear W29132334102021 @default.
- W2913233410 crossrefType "journal-article" @default.
- W2913233410 hasAuthorship W2913233410A5052847689 @default.
- W2913233410 hasAuthorship W2913233410A5090399813 @default.
- W2913233410 hasConcept C118615104 @default.
- W2913233410 hasConcept C134306372 @default.
- W2913233410 hasConcept C154945302 @default.
- W2913233410 hasConcept C199343813 @default.
- W2913233410 hasConcept C22497172 @default.
- W2913233410 hasConcept C2524010 @default.
- W2913233410 hasConcept C2776809875 @default.
- W2913233410 hasConcept C2777686260 @default.
- W2913233410 hasConcept C33923547 @default.
- W2913233410 hasConcept C40207289 @default.
- W2913233410 hasConcept C41008148 @default.
- W2913233410 hasConcept C5655090 @default.
- W2913233410 hasConcept C62073222 @default.
- W2913233410 hasConcept C6489637 @default.
- W2913233410 hasConcept C71924100 @default.
- W2913233410 hasConcept C77088390 @default.
- W2913233410 hasConcept C9376300 @default.
- W2913233410 hasConcept C99436015 @default.
- W2913233410 hasConceptScore W2913233410C118615104 @default.
- W2913233410 hasConceptScore W2913233410C134306372 @default.
- W2913233410 hasConceptScore W2913233410C154945302 @default.
- W2913233410 hasConceptScore W2913233410C199343813 @default.
- W2913233410 hasConceptScore W2913233410C22497172 @default.
- W2913233410 hasConceptScore W2913233410C2524010 @default.
- W2913233410 hasConceptScore W2913233410C2776809875 @default.
- W2913233410 hasConceptScore W2913233410C2777686260 @default.
- W2913233410 hasConceptScore W2913233410C33923547 @default.
- W2913233410 hasConceptScore W2913233410C40207289 @default.
- W2913233410 hasConceptScore W2913233410C41008148 @default.
- W2913233410 hasConceptScore W2913233410C5655090 @default.
- W2913233410 hasConceptScore W2913233410C62073222 @default.
- W2913233410 hasConceptScore W2913233410C6489637 @default.
- W2913233410 hasConceptScore W2913233410C71924100 @default.
- W2913233410 hasConceptScore W2913233410C77088390 @default.
- W2913233410 hasConceptScore W2913233410C9376300 @default.
- W2913233410 hasConceptScore W2913233410C99436015 @default.
- W2913233410 hasIssue "3" @default.
- W2913233410 hasLocation W29132334101 @default.
- W2913233410 hasOpenAccess W2913233410 @default.
- W2913233410 hasPrimaryLocation W29132334101 @default.
- W2913233410 hasRelatedWork W1568540128 @default.
- W2913233410 hasRelatedWork W1574493518 @default.
- W2913233410 hasRelatedWork W2057072590 @default.
- W2913233410 hasRelatedWork W2094502182 @default.
- W2913233410 hasRelatedWork W2503478351 @default.
- W2913233410 hasRelatedWork W2793983771 @default.
- W2913233410 hasRelatedWork W2806893870 @default.
- W2913233410 hasRelatedWork W2913233410 @default.
- W2913233410 hasRelatedWork W3011473228 @default.
- W2913233410 hasRelatedWork W3196962987 @default.
- W2913233410 hasVolume "53" @default.
- W2913233410 isParatext "false" @default.
- W2913233410 isRetracted "false" @default.
- W2913233410 magId "2913233410" @default.
- W2913233410 workType "article" @default.