Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489223048> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1489223048 abstract "A framework is presented to show formally that a parallel system is fair with respect to any set of events. Systems are specified by means of a set of variables, a set of guarded transitions and a set of liveness conditions, using an already presented technique [PA93]. Their semantics are given in the CSP model [BRH84]. The proofs use normal predicate logic and noetherian induction. Invariants are an important piece of information in the development of the proofs. A non trivial case study is developed." @default.
- W1489223048 created "2016-06-24" @default.
- W1489223048 creator A5020043364 @default.
- W1489223048 creator A5082475881 @default.
- W1489223048 date "1994-01-01" @default.
- W1489223048 modified "2023-10-04" @default.
- W1489223048 title "Introducing fairness in CSP systems specified with state variables" @default.
- W1489223048 cites W1481018260 @default.
- W1489223048 cites W1481198338 @default.
- W1489223048 cites W1489223048 @default.
- W1489223048 cites W2102097307 @default.
- W1489223048 cites W4240126131 @default.
- W1489223048 doi "https://doi.org/10.1007/3-540-58184-7_150" @default.
- W1489223048 hasPublicationYear "1994" @default.
- W1489223048 type Work @default.
- W1489223048 sameAs 1489223048 @default.
- W1489223048 citedByCount "1" @default.
- W1489223048 crossrefType "book-chapter" @default.
- W1489223048 hasAuthorship W1489223048A5020043364 @default.
- W1489223048 hasAuthorship W1489223048A5082475881 @default.
- W1489223048 hasConcept C108710211 @default.
- W1489223048 hasConcept C11413529 @default.
- W1489223048 hasConcept C140146324 @default.
- W1489223048 hasConcept C15569618 @default.
- W1489223048 hasConcept C177264268 @default.
- W1489223048 hasConcept C184337299 @default.
- W1489223048 hasConcept C199360897 @default.
- W1489223048 hasConcept C2524010 @default.
- W1489223048 hasConcept C33923547 @default.
- W1489223048 hasConcept C41008148 @default.
- W1489223048 hasConcept C80444323 @default.
- W1489223048 hasConceptScore W1489223048C108710211 @default.
- W1489223048 hasConceptScore W1489223048C11413529 @default.
- W1489223048 hasConceptScore W1489223048C140146324 @default.
- W1489223048 hasConceptScore W1489223048C15569618 @default.
- W1489223048 hasConceptScore W1489223048C177264268 @default.
- W1489223048 hasConceptScore W1489223048C184337299 @default.
- W1489223048 hasConceptScore W1489223048C199360897 @default.
- W1489223048 hasConceptScore W1489223048C2524010 @default.
- W1489223048 hasConceptScore W1489223048C33923547 @default.
- W1489223048 hasConceptScore W1489223048C41008148 @default.
- W1489223048 hasConceptScore W1489223048C80444323 @default.
- W1489223048 hasLocation W14892230481 @default.
- W1489223048 hasOpenAccess W1489223048 @default.
- W1489223048 hasPrimaryLocation W14892230481 @default.
- W1489223048 hasRelatedWork W1165569327 @default.
- W1489223048 hasRelatedWork W1525300667 @default.
- W1489223048 hasRelatedWork W1550116125 @default.
- W1489223048 hasRelatedWork W1593065203 @default.
- W1489223048 hasRelatedWork W1813383841 @default.
- W1489223048 hasRelatedWork W1963621916 @default.
- W1489223048 hasRelatedWork W1990016083 @default.
- W1489223048 hasRelatedWork W1990892314 @default.
- W1489223048 hasRelatedWork W2028103556 @default.
- W1489223048 hasRelatedWork W2055250870 @default.
- W1489223048 hasRelatedWork W2081867734 @default.
- W1489223048 hasRelatedWork W2129353610 @default.
- W1489223048 hasRelatedWork W2152882089 @default.
- W1489223048 hasRelatedWork W2153488594 @default.
- W1489223048 hasRelatedWork W227617707 @default.
- W1489223048 hasRelatedWork W2480791090 @default.
- W1489223048 hasRelatedWork W2492341776 @default.
- W1489223048 hasRelatedWork W2556680237 @default.
- W1489223048 hasRelatedWork W3203573145 @default.
- W1489223048 hasRelatedWork W590209035 @default.
- W1489223048 isParatext "false" @default.
- W1489223048 isRetracted "false" @default.
- W1489223048 magId "1489223048" @default.
- W1489223048 workType "book-chapter" @default.