Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014239323> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2014239323 endingPage "489" @default.
- W2014239323 startingPage "485" @default.
- W2014239323 abstract "This paper is concerned with the formal specification of program modules which control access to resources shared among concurrent proceses. The concept of state space is defined for such program modules and the formal specification is given in terms of a program module invariant and input-output assertions defined on the state space. Examples are provided to ilustrate the construction of sDecifications with this approach." @default.
- W2014239323 created "2016-06-24" @default.
- W2014239323 creator A5038231385 @default.
- W2014239323 creator A5081075085 @default.
- W2014239323 date "1980-09-01" @default.
- W2014239323 modified "2023-09-27" @default.
- W2014239323 title "An Approach to Formal Specification of Control Modules" @default.
- W2014239323 cites W2003040530 @default.
- W2014239323 cites W2004375222 @default.
- W2014239323 cites W2013688141 @default.
- W2014239323 cites W2031561037 @default.
- W2014239323 cites W2067882404 @default.
- W2014239323 cites W2071505761 @default.
- W2014239323 cites W2131791649 @default.
- W2014239323 cites W2138340202 @default.
- W2014239323 cites W2148620491 @default.
- W2014239323 cites W2152315028 @default.
- W2014239323 cites W2165121897 @default.
- W2014239323 cites W3023216518 @default.
- W2014239323 doi "https://doi.org/10.1109/tse.1980.230789" @default.
- W2014239323 hasPublicationYear "1980" @default.
- W2014239323 type Work @default.
- W2014239323 sameAs 2014239323 @default.
- W2014239323 citedByCount "0" @default.
- W2014239323 crossrefType "journal-article" @default.
- W2014239323 hasAuthorship W2014239323A5038231385 @default.
- W2014239323 hasAuthorship W2014239323A5081075085 @default.
- W2014239323 hasConcept C105795698 @default.
- W2014239323 hasConcept C111498074 @default.
- W2014239323 hasConcept C115903868 @default.
- W2014239323 hasConcept C116253237 @default.
- W2014239323 hasConcept C119263510 @default.
- W2014239323 hasConcept C145243422 @default.
- W2014239323 hasConcept C15077461 @default.
- W2014239323 hasConcept C154945302 @default.
- W2014239323 hasConcept C167822520 @default.
- W2014239323 hasConcept C199360897 @default.
- W2014239323 hasConcept C201677973 @default.
- W2014239323 hasConcept C2775924081 @default.
- W2014239323 hasConcept C33923547 @default.
- W2014239323 hasConcept C34165917 @default.
- W2014239323 hasConcept C41008148 @default.
- W2014239323 hasConcept C48103436 @default.
- W2014239323 hasConcept C50033165 @default.
- W2014239323 hasConcept C72434380 @default.
- W2014239323 hasConcept C75606506 @default.
- W2014239323 hasConcept C90069079 @default.
- W2014239323 hasConceptScore W2014239323C105795698 @default.
- W2014239323 hasConceptScore W2014239323C111498074 @default.
- W2014239323 hasConceptScore W2014239323C115903868 @default.
- W2014239323 hasConceptScore W2014239323C116253237 @default.
- W2014239323 hasConceptScore W2014239323C119263510 @default.
- W2014239323 hasConceptScore W2014239323C145243422 @default.
- W2014239323 hasConceptScore W2014239323C15077461 @default.
- W2014239323 hasConceptScore W2014239323C154945302 @default.
- W2014239323 hasConceptScore W2014239323C167822520 @default.
- W2014239323 hasConceptScore W2014239323C199360897 @default.
- W2014239323 hasConceptScore W2014239323C201677973 @default.
- W2014239323 hasConceptScore W2014239323C2775924081 @default.
- W2014239323 hasConceptScore W2014239323C33923547 @default.
- W2014239323 hasConceptScore W2014239323C34165917 @default.
- W2014239323 hasConceptScore W2014239323C41008148 @default.
- W2014239323 hasConceptScore W2014239323C48103436 @default.
- W2014239323 hasConceptScore W2014239323C50033165 @default.
- W2014239323 hasConceptScore W2014239323C72434380 @default.
- W2014239323 hasConceptScore W2014239323C75606506 @default.
- W2014239323 hasConceptScore W2014239323C90069079 @default.
- W2014239323 hasIssue "5" @default.
- W2014239323 hasLocation W20142393231 @default.
- W2014239323 hasOpenAccess W2014239323 @default.
- W2014239323 hasPrimaryLocation W20142393231 @default.
- W2014239323 hasRelatedWork W1520778375 @default.
- W2014239323 hasRelatedWork W1536552036 @default.
- W2014239323 hasRelatedWork W1985562074 @default.
- W2014239323 hasRelatedWork W2034589735 @default.
- W2014239323 hasRelatedWork W2123319381 @default.
- W2014239323 hasRelatedWork W2156223462 @default.
- W2014239323 hasRelatedWork W2350068048 @default.
- W2014239323 hasRelatedWork W2368560475 @default.
- W2014239323 hasRelatedWork W2921123388 @default.
- W2014239323 hasRelatedWork W2752133100 @default.
- W2014239323 hasVolume "SE-6" @default.
- W2014239323 isParatext "false" @default.
- W2014239323 isRetracted "false" @default.
- W2014239323 magId "2014239323" @default.
- W2014239323 workType "article" @default.