Matches in SemOpenAlex for { <https://semopenalex.org/work/W2081567051> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2081567051 endingPage "61" @default.
- W2081567051 startingPage "52" @default.
- W2081567051 abstract "The Task Sequencing Language (TSL), which lets programmers specify constraints on the behavior of concurrent programs, is described. The constraints, specified by high-level annotations to Ada programs, are monitored at runtime; when a violation is detected, control is returned to the user, along with information about the nature of the violation. It is argued that such a tool is a necessary crutch for human reasoning capabilities when dealing with the complexities of concurrent process interaction. The first large-scale application of TSL, the specification and validation of a distributed tasking supervisor for Ada, is described.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2081567051 created "2016-06-24" @default.
- W2081567051 creator A5047104641 @default.
- W2081567051 date "1991-05-01" @default.
- W2081567051 modified "2023-10-03" @default.
- W2081567051 title "Specifying concurrent systems with TSL" @default.
- W2081567051 cites W2003716256 @default.
- W2081567051 cites W2080344190 @default.
- W2081567051 cites W4239173332 @default.
- W2081567051 doi "https://doi.org/10.1109/52.88944" @default.
- W2081567051 hasPublicationYear "1991" @default.
- W2081567051 type Work @default.
- W2081567051 sameAs 2081567051 @default.
- W2081567051 citedByCount "38" @default.
- W2081567051 crossrefType "journal-article" @default.
- W2081567051 hasAuthorship W2081567051A5047104641 @default.
- W2081567051 hasConcept C115903868 @default.
- W2081567051 hasConcept C127413603 @default.
- W2081567051 hasConcept C17744445 @default.
- W2081567051 hasConcept C199360897 @default.
- W2081567051 hasConcept C199539241 @default.
- W2081567051 hasConcept C201995342 @default.
- W2081567051 hasConcept C2779110517 @default.
- W2081567051 hasConcept C2780451532 @default.
- W2081567051 hasConcept C41008148 @default.
- W2081567051 hasConcept C98045186 @default.
- W2081567051 hasConceptScore W2081567051C115903868 @default.
- W2081567051 hasConceptScore W2081567051C127413603 @default.
- W2081567051 hasConceptScore W2081567051C17744445 @default.
- W2081567051 hasConceptScore W2081567051C199360897 @default.
- W2081567051 hasConceptScore W2081567051C199539241 @default.
- W2081567051 hasConceptScore W2081567051C201995342 @default.
- W2081567051 hasConceptScore W2081567051C2779110517 @default.
- W2081567051 hasConceptScore W2081567051C2780451532 @default.
- W2081567051 hasConceptScore W2081567051C41008148 @default.
- W2081567051 hasConceptScore W2081567051C98045186 @default.
- W2081567051 hasIssue "3" @default.
- W2081567051 hasLocation W20815670511 @default.
- W2081567051 hasOpenAccess W2081567051 @default.
- W2081567051 hasPrimaryLocation W20815670511 @default.
- W2081567051 hasRelatedWork W2104078272 @default.
- W2081567051 hasRelatedWork W2112962394 @default.
- W2081567051 hasRelatedWork W2118300983 @default.
- W2081567051 hasRelatedWork W2166247150 @default.
- W2081567051 hasRelatedWork W2382501300 @default.
- W2081567051 hasRelatedWork W3137189469 @default.
- W2081567051 hasRelatedWork W3162240892 @default.
- W2081567051 hasRelatedWork W4235530921 @default.
- W2081567051 hasRelatedWork W4243252198 @default.
- W2081567051 hasRelatedWork W4245713008 @default.
- W2081567051 hasVolume "8" @default.
- W2081567051 isParatext "false" @default.
- W2081567051 isRetracted "false" @default.
- W2081567051 magId "2081567051" @default.
- W2081567051 workType "article" @default.