FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1511591349> ?p ?o ?g. }

• W1511591349 endingPage "425" @default.
• W1511591349 startingPage "418" @default.
• W1511591349 abstract "In the service oriented architecture framework, a modal specification, as defined by Larsen in [5], formalises how a service should interact with its environment. More precisely, a modal specification determines the events that the server may or must allow at each stage in an interactive session. In this paper, we investigate the adaptation of the supervisory control theory of Ramadge and Wonham to enforce a modal specification (with final states marking the ends of the sessions) on a system modelled by a finite LTS. We prove that there exists at most one most permissive solution to this control problem. We also prove that this solution is regular and we present an algorithm for the effective computation of the corresponding controller." @default.
• W1511591349 created "2016-06-24" @default.
• W1511591349 creator A5016783472 @default.
• W1511591349 creator A5053628603 @default.
• W1511591349 creator A5091184775 @default.
• W1511591349 date "2010-01-01" @default.
• W1511591349 modified "2023-09-26" @default.
• W1511591349 title "Supervisory Control for Modal Specifications of Services" @default.
• W1511591349 cites W1974141623 @default.
• W1511591349 cites W1979349468 @default.
• W1511591349 cites W2064886960 @default.
• W1511591349 cites W2178250883 @default.
• W1511591349 cites W2294826973 @default.
• W1511591349 cites W84675887 @default.
• W1511591349 doi "https://doi.org/10.3182/20100830-3-de-4013.00069" @default.
• W1511591349 hasPublicationYear "2010" @default.
• W1511591349 type Work @default.
• W1511591349 sameAs 1511591349 @default.
• W1511591349 citedByCount "8" @default.
• W1511591349 countsByYear W15115913492012 @default.
• W1511591349 countsByYear W15115913492013 @default.
• W1511591349 countsByYear W15115913492015 @default.
• W1511591349 countsByYear W15115913492017 @default.
• W1511591349 countsByYear W15115913492018 @default.
• W1511591349 countsByYear W15115913492019 @default.
• W1511591349 crossrefType "journal-article" @default.
• W1511591349 hasAuthorship W1511591349A5016783472 @default.
• W1511591349 hasAuthorship W1511591349A5053628603 @default.
• W1511591349 hasAuthorship W1511591349A5091184775 @default.
• W1511591349 hasBestOaLocation W15115913491 @default.
• W1511591349 hasConcept C120314980 @default.
• W1511591349 hasConcept C120665830 @default.
• W1511591349 hasConcept C121332964 @default.
• W1511591349 hasConcept C127413603 @default.
• W1511591349 hasConcept C133731056 @default.
• W1511591349 hasConcept C136264566 @default.
• W1511591349 hasConcept C136764020 @default.
• W1511591349 hasConcept C139807058 @default.
• W1511591349 hasConcept C154945302 @default.
• W1511591349 hasConcept C162324750 @default.
• W1511591349 hasConcept C185592680 @default.
• W1511591349 hasConcept C188027245 @default.
• W1511591349 hasConcept C199360897 @default.
• W1511591349 hasConcept C203479927 @default.
• W1511591349 hasConcept C27508121 @default.
• W1511591349 hasConcept C2775924081 @default.
• W1511591349 hasConcept C2778693208 @default.
• W1511591349 hasConcept C2779182362 @default.
• W1511591349 hasConcept C2780378061 @default.
• W1511591349 hasConcept C41008148 @default.
• W1511591349 hasConcept C45374587 @default.
• W1511591349 hasConcept C6557445 @default.
• W1511591349 hasConcept C71139939 @default.
• W1511591349 hasConcept C86803240 @default.
• W1511591349 hasConcept C92991967 @default.
• W1511591349 hasConceptScore W1511591349C120314980 @default.
• W1511591349 hasConceptScore W1511591349C120665830 @default.
• W1511591349 hasConceptScore W1511591349C121332964 @default.
• W1511591349 hasConceptScore W1511591349C127413603 @default.
• W1511591349 hasConceptScore W1511591349C133731056 @default.
• W1511591349 hasConceptScore W1511591349C136264566 @default.
• W1511591349 hasConceptScore W1511591349C136764020 @default.
• W1511591349 hasConceptScore W1511591349C139807058 @default.
• W1511591349 hasConceptScore W1511591349C154945302 @default.
• W1511591349 hasConceptScore W1511591349C162324750 @default.
• W1511591349 hasConceptScore W1511591349C185592680 @default.
• W1511591349 hasConceptScore W1511591349C188027245 @default.
• W1511591349 hasConceptScore W1511591349C199360897 @default.
• W1511591349 hasConceptScore W1511591349C203479927 @default.
• W1511591349 hasConceptScore W1511591349C27508121 @default.
• W1511591349 hasConceptScore W1511591349C2775924081 @default.
• W1511591349 hasConceptScore W1511591349C2778693208 @default.
• W1511591349 hasConceptScore W1511591349C2779182362 @default.
• W1511591349 hasConceptScore W1511591349C2780378061 @default.
• W1511591349 hasConceptScore W1511591349C41008148 @default.
• W1511591349 hasConceptScore W1511591349C45374587 @default.
• W1511591349 hasConceptScore W1511591349C6557445 @default.
• W1511591349 hasConceptScore W1511591349C71139939 @default.
• W1511591349 hasConceptScore W1511591349C86803240 @default.
• W1511591349 hasConceptScore W1511591349C92991967 @default.
• W1511591349 hasIssue "12" @default.
• W1511591349 hasLocation W15115913491 @default.
• W1511591349 hasLocation W15115913492 @default.
• W1511591349 hasLocation W15115913493 @default.
• W1511591349 hasLocation W15115913494 @default.
• W1511591349 hasLocation W15115913495 @default.
• W1511591349 hasLocation W15115913496 @default.
• W1511591349 hasLocation W15115913497 @default.
• W1511591349 hasLocation W15115913498 @default.
• W1511591349 hasOpenAccess W1511591349 @default.
• W1511591349 hasPrimaryLocation W15115913491 @default.
• W1511591349 hasRelatedWork W1990807783 @default.
• W1511591349 hasRelatedWork W1993575164 @default.
• W1511591349 hasRelatedWork W2048772631 @default.
• W1511591349 hasRelatedWork W2097919959 @default.
• W1511591349 hasRelatedWork W2131053966 @default.
• W1511591349 hasRelatedWork W2152858547 @default.
• W1511591349 hasRelatedWork W2159706408 @default.

• next