Matches in SemOpenAlex for { <https://semopenalex.org/work/W2069945950> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2069945950 abstract "A number of methods have been proposed to validate the communication between processes which exchange messages through bounded FIFO channels. However design criteria and rules are developed to construct correct protocols. In this paper, our objective is to propose a new correcting method for a pair of communicating finite state machines and we ensure that the communication is perfect and progresses indefinitely i.e deadlock-free, liveness, bounded, and without noexecutable transitions, unspecified receptions. The time complexity is bounded by O(nm) where n is the number of states and m is the number of transitions of a given machine. The first method is defined by adding receiving transitions and in the second we complete our results by adding sending transitions , then we obtain symmetric and isomorphic machines with unbounded communication." @default.
- W2069945950 created "2016-06-24" @default.
- W2069945950 creator A5063158281 @default.
- W2069945950 date "1989-01-01" @default.
- W2069945950 modified "2023-10-16" @default.
- W2069945950 title "To correct communicating finite state machines" @default.
- W2069945950 cites W1490480542 @default.
- W2069945950 cites W1997072713 @default.
- W2069945950 cites W2025970201 @default.
- W2069945950 cites W2029117638 @default.
- W2069945950 cites W2061464627 @default.
- W2069945950 cites W2097786642 @default.
- W2069945950 cites W2140605597 @default.
- W2069945950 cites W2170523074 @default.
- W2069945950 doi "https://doi.org/10.1145/75427.75470" @default.
- W2069945950 hasPublicationYear "1989" @default.
- W2069945950 type Work @default.
- W2069945950 sameAs 2069945950 @default.
- W2069945950 citedByCount "0" @default.
- W2069945950 crossrefType "proceedings-article" @default.
- W2069945950 hasAuthorship W2069945950A5063158281 @default.
- W2069945950 hasBestOaLocation W20699459501 @default.
- W2069945950 hasConcept C11413529 @default.
- W2069945950 hasConcept C120314980 @default.
- W2069945950 hasConcept C134306372 @default.
- W2069945950 hasConcept C15569618 @default.
- W2069945950 hasConcept C159023740 @default.
- W2069945950 hasConcept C167822520 @default.
- W2069945950 hasConcept C199360897 @default.
- W2069945950 hasConcept C2777145635 @default.
- W2069945950 hasConcept C2779167558 @default.
- W2069945950 hasConcept C2780801425 @default.
- W2069945950 hasConcept C31258907 @default.
- W2069945950 hasConcept C33923547 @default.
- W2069945950 hasConcept C34388435 @default.
- W2069945950 hasConcept C41008148 @default.
- W2069945950 hasConcept C48103436 @default.
- W2069945950 hasConcept C80444323 @default.
- W2069945950 hasConceptScore W2069945950C11413529 @default.
- W2069945950 hasConceptScore W2069945950C120314980 @default.
- W2069945950 hasConceptScore W2069945950C134306372 @default.
- W2069945950 hasConceptScore W2069945950C15569618 @default.
- W2069945950 hasConceptScore W2069945950C159023740 @default.
- W2069945950 hasConceptScore W2069945950C167822520 @default.
- W2069945950 hasConceptScore W2069945950C199360897 @default.
- W2069945950 hasConceptScore W2069945950C2777145635 @default.
- W2069945950 hasConceptScore W2069945950C2779167558 @default.
- W2069945950 hasConceptScore W2069945950C2780801425 @default.
- W2069945950 hasConceptScore W2069945950C31258907 @default.
- W2069945950 hasConceptScore W2069945950C33923547 @default.
- W2069945950 hasConceptScore W2069945950C34388435 @default.
- W2069945950 hasConceptScore W2069945950C41008148 @default.
- W2069945950 hasConceptScore W2069945950C48103436 @default.
- W2069945950 hasConceptScore W2069945950C80444323 @default.
- W2069945950 hasLocation W20699459501 @default.
- W2069945950 hasOpenAccess W2069945950 @default.
- W2069945950 hasPrimaryLocation W20699459501 @default.
- W2069945950 hasRelatedWork W106578878 @default.
- W2069945950 hasRelatedWork W1563992305 @default.
- W2069945950 hasRelatedWork W1783679080 @default.
- W2069945950 hasRelatedWork W1847774756 @default.
- W2069945950 hasRelatedWork W2005263036 @default.
- W2069945950 hasRelatedWork W2069945950 @default.
- W2069945950 hasRelatedWork W2135815029 @default.
- W2069945950 hasRelatedWork W2373818733 @default.
- W2069945950 hasRelatedWork W2567061750 @default.
- W2069945950 hasRelatedWork W3120101625 @default.
- W2069945950 isParatext "false" @default.
- W2069945950 isRetracted "false" @default.
- W2069945950 magId "2069945950" @default.
- W2069945950 workType "article" @default.