Matches in SemOpenAlex for { <https://semopenalex.org/work/W1750171350> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1750171350 endingPage "200" @default.
- W1750171350 startingPage "189" @default.
- W1750171350 abstract "In this paper we propose a model, timed automata with non-instantaneous actions, which allows representing in a suitable way real-time systems. Timed automata with non-instantaneous actions extend the timed automata model by dropping the assumption that actions are instantaneous: in our model an action can take some time to be completed. We investigate the expressiveness of the new model, comparing it with classical timed automata. In particular, we study the set of timed languages which can be accepted by timed automata with non-instantaneous actions. We prove that timed automata with non-instantaneous actions are more expressive than timed automata and less expressive than timed automata with e edges. Moreover we define the parallel composition of timed automata with non-instantaneous actions. We point out how the specification by means of a parallel timed automaton with non-instantaneous actions is, in some cases, more convenient to represent reality." @default.
- W1750171350 created "2016-06-24" @default.
- W1750171350 creator A5047174414 @default.
- W1750171350 creator A5076735277 @default.
- W1750171350 creator A5089634233 @default.
- W1750171350 date "2001-08-01" @default.
- W1750171350 modified "2023-09-26" @default.
- W1750171350 title "Timed Automata with non-Instantaneous Actions" @default.
- W1750171350 cites W1551781434 @default.
- W1750171350 cites W1565729639 @default.
- W1750171350 cites W1569530399 @default.
- W1750171350 cites W1574289075 @default.
- W1750171350 cites W1585621368 @default.
- W1750171350 cites W1589336320 @default.
- W1750171350 cites W1599827238 @default.
- W1750171350 cites W1830600668 @default.
- W1750171350 cites W1848324794 @default.
- W1750171350 cites W1981808971 @default.
- W1750171350 cites W2030263557 @default.
- W1750171350 cites W2038995301 @default.
- W1750171350 cites W2083964867 @default.
- W1750171350 cites W2084880396 @default.
- W1750171350 cites W2101508170 @default.
- W1750171350 cites W2116391427 @default.
- W1750171350 cites W2130773092 @default.
- W1750171350 cites W2153775415 @default.
- W1750171350 cites W59365162 @default.
- W1750171350 hasPublicationYear "2001" @default.
- W1750171350 type Work @default.
- W1750171350 sameAs 1750171350 @default.
- W1750171350 citedByCount "4" @default.
- W1750171350 countsByYear W17501713502012 @default.
- W1750171350 countsByYear W17501713502014 @default.
- W1750171350 crossrefType "journal-article" @default.
- W1750171350 hasAuthorship W1750171350A5047174414 @default.
- W1750171350 hasAuthorship W1750171350A5076735277 @default.
- W1750171350 hasAuthorship W1750171350A5089634233 @default.
- W1750171350 hasConcept C112505250 @default.
- W1750171350 hasConcept C11413529 @default.
- W1750171350 hasConcept C116248031 @default.
- W1750171350 hasConcept C174327141 @default.
- W1750171350 hasConcept C177264268 @default.
- W1750171350 hasConcept C199360897 @default.
- W1750171350 hasConcept C30788636 @default.
- W1750171350 hasConcept C41008148 @default.
- W1750171350 hasConcept C50348692 @default.
- W1750171350 hasConcept C75745568 @default.
- W1750171350 hasConcept C80444323 @default.
- W1750171350 hasConceptScore W1750171350C112505250 @default.
- W1750171350 hasConceptScore W1750171350C11413529 @default.
- W1750171350 hasConceptScore W1750171350C116248031 @default.
- W1750171350 hasConceptScore W1750171350C174327141 @default.
- W1750171350 hasConceptScore W1750171350C177264268 @default.
- W1750171350 hasConceptScore W1750171350C199360897 @default.
- W1750171350 hasConceptScore W1750171350C30788636 @default.
- W1750171350 hasConceptScore W1750171350C41008148 @default.
- W1750171350 hasConceptScore W1750171350C50348692 @default.
- W1750171350 hasConceptScore W1750171350C75745568 @default.
- W1750171350 hasConceptScore W1750171350C80444323 @default.
- W1750171350 hasIssue "3" @default.
- W1750171350 hasLocation W17501713501 @default.
- W1750171350 hasOpenAccess W1750171350 @default.
- W1750171350 hasPrimaryLocation W17501713501 @default.
- W1750171350 hasRelatedWork W135663677 @default.
- W1750171350 hasRelatedWork W1484364085 @default.
- W1750171350 hasRelatedWork W1507081797 @default.
- W1750171350 hasRelatedWork W153646870 @default.
- W1750171350 hasRelatedWork W1547243468 @default.
- W1750171350 hasRelatedWork W1551781434 @default.
- W1750171350 hasRelatedWork W1552826644 @default.
- W1750171350 hasRelatedWork W1571606103 @default.
- W1750171350 hasRelatedWork W1593043349 @default.
- W1750171350 hasRelatedWork W1755579963 @default.
- W1750171350 hasRelatedWork W1880663844 @default.
- W1750171350 hasRelatedWork W1927587599 @default.
- W1750171350 hasRelatedWork W1970083749 @default.
- W1750171350 hasRelatedWork W1973816382 @default.
- W1750171350 hasRelatedWork W2103882301 @default.
- W1750171350 hasRelatedWork W2121255431 @default.
- W1750171350 hasRelatedWork W2741764335 @default.
- W1750171350 hasRelatedWork W2900094146 @default.
- W1750171350 hasRelatedWork W2963919909 @default.
- W1750171350 hasRelatedWork W3091546927 @default.
- W1750171350 hasVolume "47" @default.
- W1750171350 isParatext "false" @default.
- W1750171350 isRetracted "false" @default.
- W1750171350 magId "1750171350" @default.
- W1750171350 workType "article" @default.