Matches in SemOpenAlex for { <https://semopenalex.org/work/W2069373502> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2069373502 endingPage "205" @default.
- W2069373502 startingPage "183" @default.
- W2069373502 abstract "The problem of compatibility analysis of two interacting automata arises in the development of algorithms for reactive systems if partial nondeterministic automata serve as models for both the reactive system and its environment. Intuitively, two interacting automata are compatible if a signal from one automaton always induces a defined transition in the other. We present the method for solving this problem in the automated design of reactive system algorithms specified by formulas of a first-order monadic logic. Compatibility analysis is automatically performed both for initial specifications of the algorithm and its environment and for any specification of the same kind obtained as a result of changes made by the designer. So, there is a need in the development of methods for solving this problem at the level of logical specification. The methods based on the resolution principle proved to be very helpful for this purpose." @default.
- W2069373502 created "2016-06-24" @default.
- W2069373502 creator A5031904187 @default.
- W2069373502 creator A5057361446 @default.
- W2069373502 date "1998-03-01" @default.
- W2069373502 modified "2023-09-24" @default.
- W2069373502 title "Resolution-based approach to compatibility analysis of interacting automata" @default.
- W2069373502 cites W1530765221 @default.
- W2069373502 cites W1546220007 @default.
- W2069373502 cites W1569068921 @default.
- W2069373502 cites W1593736126 @default.
- W2069373502 cites W2000302396 @default.
- W2069373502 cites W2004081451 @default.
- W2069373502 cites W2009965218 @default.
- W2069373502 cites W2025970201 @default.
- W2069373502 cites W2039853888 @default.
- W2069373502 cites W2056102643 @default.
- W2069373502 cites W2113089372 @default.
- W2069373502 cites W2120501031 @default.
- W2069373502 cites W2132107743 @default.
- W2069373502 cites W2293400264 @default.
- W2069373502 cites W26772505 @default.
- W2069373502 cites W2994841252 @default.
- W2069373502 doi "https://doi.org/10.1016/s0304-3975(97)00025-x" @default.
- W2069373502 hasPublicationYear "1998" @default.
- W2069373502 type Work @default.
- W2069373502 sameAs 2069373502 @default.
- W2069373502 citedByCount "3" @default.
- W2069373502 countsByYear W20693735022013 @default.
- W2069373502 crossrefType "journal-article" @default.
- W2069373502 hasAuthorship W2069373502A5031904187 @default.
- W2069373502 hasAuthorship W2069373502A5057361446 @default.
- W2069373502 hasConcept C112505250 @default.
- W2069373502 hasConcept C11413529 @default.
- W2069373502 hasConcept C127313418 @default.
- W2069373502 hasConcept C17409809 @default.
- W2069373502 hasConcept C176181172 @default.
- W2069373502 hasConcept C2778648169 @default.
- W2069373502 hasConcept C41008148 @default.
- W2069373502 hasConcept C80444323 @default.
- W2069373502 hasConceptScore W2069373502C112505250 @default.
- W2069373502 hasConceptScore W2069373502C11413529 @default.
- W2069373502 hasConceptScore W2069373502C127313418 @default.
- W2069373502 hasConceptScore W2069373502C17409809 @default.
- W2069373502 hasConceptScore W2069373502C176181172 @default.
- W2069373502 hasConceptScore W2069373502C2778648169 @default.
- W2069373502 hasConceptScore W2069373502C41008148 @default.
- W2069373502 hasConceptScore W2069373502C80444323 @default.
- W2069373502 hasIssue "1-2" @default.
- W2069373502 hasLocation W20693735021 @default.
- W2069373502 hasOpenAccess W2069373502 @default.
- W2069373502 hasPrimaryLocation W20693735021 @default.
- W2069373502 hasRelatedWork W13140863 @default.
- W2069373502 hasRelatedWork W1503669197 @default.
- W2069373502 hasRelatedWork W1801993675 @default.
- W2069373502 hasRelatedWork W1852279314 @default.
- W2069373502 hasRelatedWork W2100326215 @default.
- W2069373502 hasRelatedWork W2109183219 @default.
- W2069373502 hasRelatedWork W2114998520 @default.
- W2069373502 hasRelatedWork W2394259276 @default.
- W2069373502 hasRelatedWork W3213784925 @default.
- W2069373502 hasRelatedWork W2085821685 @default.
- W2069373502 hasVolume "194" @default.
- W2069373502 isParatext "false" @default.
- W2069373502 isRetracted "false" @default.
- W2069373502 magId "2069373502" @default.
- W2069373502 workType "article" @default.