Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566404945> ?p ?o ?g. }
- W1566404945 abstract "LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for example, disjunction, conjunction, greatest fixpoint, least fixpoint in μ-calculus) into (basic) LOTOS, in order to describe flexible specifications. Disjunction operators ∨ have been already proposed for expressing two or more implementations in a flexible pecification. In this paper, we propose an extended LOTOS with two state operators. They can control recursive behavior, in order to express eventuality. The eventuality is useful for liveness properties that something good must eventually happen. Then, we present a method for checking the consistency of a number of flexible specifications, and a method for producing a conjunction specification of them" @default.
- W1566404945 created "2016-06-24" @default.
- W1566404945 creator A5016690241 @default.
- W1566404945 creator A5042230213 @default.
- W1566404945 creator A5080018408 @default.
- W1566404945 date "1998-01-01" @default.
- W1566404945 modified "2023-09-24" @default.
- W1566404945 title "Eventuality in LOTOS with a Disjunction Operator" @default.
- W1566404945 cites W106780312 @default.
- W1566404945 cites W1488121907 @default.
- W1566404945 cites W1494306577 @default.
- W1566404945 cites W1502451640 @default.
- W1566404945 cites W1514630934 @default.
- W1566404945 cites W1863410196 @default.
- W1566404945 cites W1985161650 @default.
- W1566404945 cites W2021473546 @default.
- W1566404945 cites W2040127143 @default.
- W1566404945 cites W2098023243 @default.
- W1566404945 cites W2914011863 @default.
- W1566404945 doi "https://doi.org/10.1007/3-540-49366-2_20" @default.
- W1566404945 hasPublicationYear "1998" @default.
- W1566404945 type Work @default.
- W1566404945 sameAs 1566404945 @default.
- W1566404945 citedByCount "1" @default.
- W1566404945 crossrefType "book-chapter" @default.
- W1566404945 hasAuthorship W1566404945A5016690241 @default.
- W1566404945 hasAuthorship W1566404945A5042230213 @default.
- W1566404945 hasAuthorship W1566404945A5080018408 @default.
- W1566404945 hasBestOaLocation W15664049452 @default.
- W1566404945 hasConcept C104317684 @default.
- W1566404945 hasConcept C110251889 @default.
- W1566404945 hasConcept C11413529 @default.
- W1566404945 hasConcept C116253237 @default.
- W1566404945 hasConcept C121332964 @default.
- W1566404945 hasConcept C1276947 @default.
- W1566404945 hasConcept C134306372 @default.
- W1566404945 hasConcept C154945302 @default.
- W1566404945 hasConcept C15569618 @default.
- W1566404945 hasConcept C158448853 @default.
- W1566404945 hasConcept C17020691 @default.
- W1566404945 hasConcept C185592680 @default.
- W1566404945 hasConcept C199360897 @default.
- W1566404945 hasConcept C25016198 @default.
- W1566404945 hasConcept C26713055 @default.
- W1566404945 hasConcept C2776436953 @default.
- W1566404945 hasConcept C33923547 @default.
- W1566404945 hasConcept C41008148 @default.
- W1566404945 hasConcept C48103436 @default.
- W1566404945 hasConcept C55493867 @default.
- W1566404945 hasConcept C59656382 @default.
- W1566404945 hasConcept C61445026 @default.
- W1566404945 hasConcept C80444323 @default.
- W1566404945 hasConcept C86339819 @default.
- W1566404945 hasConceptScore W1566404945C104317684 @default.
- W1566404945 hasConceptScore W1566404945C110251889 @default.
- W1566404945 hasConceptScore W1566404945C11413529 @default.
- W1566404945 hasConceptScore W1566404945C116253237 @default.
- W1566404945 hasConceptScore W1566404945C121332964 @default.
- W1566404945 hasConceptScore W1566404945C1276947 @default.
- W1566404945 hasConceptScore W1566404945C134306372 @default.
- W1566404945 hasConceptScore W1566404945C154945302 @default.
- W1566404945 hasConceptScore W1566404945C15569618 @default.
- W1566404945 hasConceptScore W1566404945C158448853 @default.
- W1566404945 hasConceptScore W1566404945C17020691 @default.
- W1566404945 hasConceptScore W1566404945C185592680 @default.
- W1566404945 hasConceptScore W1566404945C199360897 @default.
- W1566404945 hasConceptScore W1566404945C25016198 @default.
- W1566404945 hasConceptScore W1566404945C26713055 @default.
- W1566404945 hasConceptScore W1566404945C2776436953 @default.
- W1566404945 hasConceptScore W1566404945C33923547 @default.
- W1566404945 hasConceptScore W1566404945C41008148 @default.
- W1566404945 hasConceptScore W1566404945C48103436 @default.
- W1566404945 hasConceptScore W1566404945C55493867 @default.
- W1566404945 hasConceptScore W1566404945C59656382 @default.
- W1566404945 hasConceptScore W1566404945C61445026 @default.
- W1566404945 hasConceptScore W1566404945C80444323 @default.
- W1566404945 hasConceptScore W1566404945C86339819 @default.
- W1566404945 hasLocation W15664049451 @default.
- W1566404945 hasLocation W15664049452 @default.
- W1566404945 hasOpenAccess W1566404945 @default.
- W1566404945 hasPrimaryLocation W15664049451 @default.
- W1566404945 hasRelatedWork W1486941786 @default.
- W1566404945 hasRelatedWork W1499503385 @default.
- W1566404945 hasRelatedWork W1510460632 @default.
- W1566404945 hasRelatedWork W1540754506 @default.
- W1566404945 hasRelatedWork W1595048299 @default.
- W1566404945 hasRelatedWork W1603135579 @default.
- W1566404945 hasRelatedWork W1755018664 @default.
- W1566404945 hasRelatedWork W1760894569 @default.
- W1566404945 hasRelatedWork W1848615987 @default.
- W1566404945 hasRelatedWork W2032189196 @default.
- W1566404945 hasRelatedWork W2036526834 @default.
- W1566404945 hasRelatedWork W2047264046 @default.
- W1566404945 hasRelatedWork W2108471047 @default.
- W1566404945 hasRelatedWork W2161047782 @default.
- W1566404945 hasRelatedWork W2271354557 @default.
- W1566404945 hasRelatedWork W2563328880 @default.
- W1566404945 hasRelatedWork W2922881962 @default.
- W1566404945 hasRelatedWork W2944923104 @default.
- W1566404945 hasRelatedWork W2971743981 @default.