Matches in SemOpenAlex for { <https://semopenalex.org/work/W2028853423> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2028853423 endingPage "530" @default.
- W2028853423 startingPage "525" @default.
- W2028853423 abstract "This paper presents a method for synthesizing or growing live and safe marked graph models of decision-free concurrent comutations. The approach is modular in the sense that subsystems r represented by arcs (and nodes) are added one by one without the need of redesigning the entire system. The foliowing properties of marked graph models can be prescribed in the synthesis: liveness (absence of deadlocks), safeness (absence of overflows), the number of reachability classes, the maximum resource (temporary storage) requirement, computation rate (performance), as well as the numbers of arcs and states." @default.
- W2028853423 created "2016-06-24" @default.
- W2028853423 creator A5011134763 @default.
- W2028853423 date "1980-11-01" @default.
- W2028853423 modified "2023-10-16" @default.
- W2028853423 title "Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance" @default.
- W2028853423 cites W1993281605 @default.
- W2028853423 cites W1993742654 @default.
- W2028853423 cites W2020253122 @default.
- W2028853423 cites W2027232632 @default.
- W2028853423 cites W2027849670 @default.
- W2028853423 cites W2050890381 @default.
- W2028853423 cites W2057741098 @default.
- W2028853423 cites W2154634540 @default.
- W2028853423 cites W2295288655 @default.
- W2028853423 cites W4241782531 @default.
- W2028853423 doi "https://doi.org/10.1109/tse.1980.230802" @default.
- W2028853423 hasPublicationYear "1980" @default.
- W2028853423 type Work @default.
- W2028853423 sameAs 2028853423 @default.
- W2028853423 citedByCount "46" @default.
- W2028853423 countsByYear W20288534232015 @default.
- W2028853423 countsByYear W20288534232018 @default.
- W2028853423 crossrefType "journal-article" @default.
- W2028853423 hasAuthorship W2028853423A5011134763 @default.
- W2028853423 hasConcept C101468663 @default.
- W2028853423 hasConcept C120314980 @default.
- W2028853423 hasConcept C132525143 @default.
- W2028853423 hasConcept C136643341 @default.
- W2028853423 hasConcept C15569618 @default.
- W2028853423 hasConcept C173608175 @default.
- W2028853423 hasConcept C199360897 @default.
- W2028853423 hasConcept C38677869 @default.
- W2028853423 hasConcept C41008148 @default.
- W2028853423 hasConcept C45374587 @default.
- W2028853423 hasConcept C56348326 @default.
- W2028853423 hasConcept C80444323 @default.
- W2028853423 hasConceptScore W2028853423C101468663 @default.
- W2028853423 hasConceptScore W2028853423C120314980 @default.
- W2028853423 hasConceptScore W2028853423C132525143 @default.
- W2028853423 hasConceptScore W2028853423C136643341 @default.
- W2028853423 hasConceptScore W2028853423C15569618 @default.
- W2028853423 hasConceptScore W2028853423C173608175 @default.
- W2028853423 hasConceptScore W2028853423C199360897 @default.
- W2028853423 hasConceptScore W2028853423C38677869 @default.
- W2028853423 hasConceptScore W2028853423C41008148 @default.
- W2028853423 hasConceptScore W2028853423C45374587 @default.
- W2028853423 hasConceptScore W2028853423C56348326 @default.
- W2028853423 hasConceptScore W2028853423C80444323 @default.
- W2028853423 hasIssue "6" @default.
- W2028853423 hasLocation W20288534231 @default.
- W2028853423 hasOpenAccess W2028853423 @default.
- W2028853423 hasPrimaryLocation W20288534231 @default.
- W2028853423 hasRelatedWork W1482993605 @default.
- W2028853423 hasRelatedWork W2140585993 @default.
- W2028853423 hasRelatedWork W2166041606 @default.
- W2028853423 hasRelatedWork W2293008795 @default.
- W2028853423 hasRelatedWork W2744333953 @default.
- W2028853423 hasRelatedWork W2990690886 @default.
- W2028853423 hasRelatedWork W4284975031 @default.
- W2028853423 hasRelatedWork W771256949 @default.
- W2028853423 hasRelatedWork W90510024 @default.
- W2028853423 hasRelatedWork W2008040316 @default.
- W2028853423 hasVolume "SE-6" @default.
- W2028853423 isParatext "false" @default.
- W2028853423 isRetracted "false" @default.
- W2028853423 magId "2028853423" @default.
- W2028853423 workType "article" @default.