Matches in SemOpenAlex for { <https://semopenalex.org/work/W2738548153> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2738548153 abstract "A specification of concurrent communicating processes represents a causal relationship of the events contained in the specification. It is very simple to model this as a finite partial order over the set of events when the specification contains no iteration (e.g. for an MSC with no loop constructs). When there is iteration it is far more complex to express the causal relationships between the events within a mathematical setting. This paper first explores, in section 2, how to describe all total extensions of a partial order as a finite state automaton (FSA). These total extensions represent the test scripts for a specification when there is no iteration. Then, in section 3 we extend these ideas to specifications which contain complex iterations. For MSC this means the inline loop construct. Section 3.2 describes the algorithm for characterising an iterative specification as a FSA." @default.
- W2738548153 created "2017-07-31" @default.
- W2738548153 creator A5008254802 @default.
- W2738548153 date "2001-01-01" @default.
- W2738548153 modified "2023-09-24" @default.
- W2738548153 title "Finite State Automata for Topological Sorting" @default.
- W2738548153 hasPublicationYear "2001" @default.
- W2738548153 type Work @default.
- W2738548153 sameAs 2738548153 @default.
- W2738548153 citedByCount "0" @default.
- W2738548153 crossrefType "journal-article" @default.
- W2738548153 hasAuthorship W2738548153A5008254802 @default.
- W2738548153 hasConcept C112505250 @default.
- W2738548153 hasConcept C11413529 @default.
- W2738548153 hasConcept C116253237 @default.
- W2738548153 hasConcept C167822520 @default.
- W2738548153 hasConcept C177264268 @default.
- W2738548153 hasConcept C199360897 @default.
- W2738548153 hasConcept C2780801425 @default.
- W2738548153 hasConcept C33923547 @default.
- W2738548153 hasConcept C41008148 @default.
- W2738548153 hasConcept C80444323 @default.
- W2738548153 hasConceptScore W2738548153C112505250 @default.
- W2738548153 hasConceptScore W2738548153C11413529 @default.
- W2738548153 hasConceptScore W2738548153C116253237 @default.
- W2738548153 hasConceptScore W2738548153C167822520 @default.
- W2738548153 hasConceptScore W2738548153C177264268 @default.
- W2738548153 hasConceptScore W2738548153C199360897 @default.
- W2738548153 hasConceptScore W2738548153C2780801425 @default.
- W2738548153 hasConceptScore W2738548153C33923547 @default.
- W2738548153 hasConceptScore W2738548153C41008148 @default.
- W2738548153 hasConceptScore W2738548153C80444323 @default.
- W2738548153 hasLocation W27385481531 @default.
- W2738548153 hasOpenAccess W2738548153 @default.
- W2738548153 hasPrimaryLocation W27385481531 @default.
- W2738548153 hasRelatedWork W10211586 @default.
- W2738548153 hasRelatedWork W1488621996 @default.
- W2738548153 hasRelatedWork W1518436864 @default.
- W2738548153 hasRelatedWork W1548257592 @default.
- W2738548153 hasRelatedWork W1569900092 @default.
- W2738548153 hasRelatedWork W1588080901 @default.
- W2738548153 hasRelatedWork W1593736126 @default.
- W2738548153 hasRelatedWork W1835313181 @default.
- W2738548153 hasRelatedWork W1845519667 @default.
- W2738548153 hasRelatedWork W1975657455 @default.
- W2738548153 hasRelatedWork W2061438988 @default.
- W2738548153 hasRelatedWork W2222980726 @default.
- W2738548153 hasRelatedWork W2519884836 @default.
- W2738548153 hasRelatedWork W2797499459 @default.
- W2738548153 hasRelatedWork W2800789652 @default.
- W2738548153 hasRelatedWork W2913769537 @default.
- W2738548153 hasRelatedWork W2915002883 @default.
- W2738548153 hasRelatedWork W2943220997 @default.
- W2738548153 hasRelatedWork W294411420 @default.
- W2738548153 hasRelatedWork W3157619182 @default.
- W2738548153 isParatext "false" @default.
- W2738548153 isRetracted "false" @default.
- W2738548153 magId "2738548153" @default.
- W2738548153 workType "article" @default.