Matches in SemOpenAlex for { <https://semopenalex.org/work/W93705929> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W93705929 abstract "A unified model for CSP-like languages with specifications is presented. It is based on adding a specification statement to a CSP-like language. The extended language becomes thus a specification language and programs are viewed as a subclass of specifications. The specification statement is of the Hoare-triple form and can specify both safety and liveness properties. The semantics of the extended language is defined, which can serve as the foundations of refinement calculi and proof systems for CSP-like languages." @default.
- W93705929 created "2016-06-24" @default.
- W93705929 creator A5073988543 @default.
- W93705929 date "1996-01-01" @default.
- W93705929 modified "2023-09-28" @default.
- W93705929 title "A Unified Model for CSP-like Languages with Specifications" @default.
- W93705929 cites W1581774065 @default.
- W93705929 cites W2039277865 @default.
- W93705929 cites W2107100996 @default.
- W93705929 doi "https://doi.org/10.1007/978-0-387-34945-9_12" @default.
- W93705929 hasPublicationYear "1996" @default.
- W93705929 type Work @default.
- W93705929 sameAs 93705929 @default.
- W93705929 citedByCount "2" @default.
- W93705929 crossrefType "book-chapter" @default.
- W93705929 hasAuthorship W93705929A5073988543 @default.
- W93705929 hasConcept C116253237 @default.
- W93705929 hasConcept C119263510 @default.
- W93705929 hasConcept C15077461 @default.
- W93705929 hasConcept C15569618 @default.
- W93705929 hasConcept C17744445 @default.
- W93705929 hasConcept C184337299 @default.
- W93705929 hasConcept C199360897 @default.
- W93705929 hasConcept C199539241 @default.
- W93705929 hasConcept C201677973 @default.
- W93705929 hasConcept C2777026412 @default.
- W93705929 hasConcept C34165917 @default.
- W93705929 hasConcept C41008148 @default.
- W93705929 hasConcept C50033165 @default.
- W93705929 hasConceptScore W93705929C116253237 @default.
- W93705929 hasConceptScore W93705929C119263510 @default.
- W93705929 hasConceptScore W93705929C15077461 @default.
- W93705929 hasConceptScore W93705929C15569618 @default.
- W93705929 hasConceptScore W93705929C17744445 @default.
- W93705929 hasConceptScore W93705929C184337299 @default.
- W93705929 hasConceptScore W93705929C199360897 @default.
- W93705929 hasConceptScore W93705929C199539241 @default.
- W93705929 hasConceptScore W93705929C201677973 @default.
- W93705929 hasConceptScore W93705929C2777026412 @default.
- W93705929 hasConceptScore W93705929C34165917 @default.
- W93705929 hasConceptScore W93705929C41008148 @default.
- W93705929 hasConceptScore W93705929C50033165 @default.
- W93705929 hasLocation W937059291 @default.
- W93705929 hasOpenAccess W93705929 @default.
- W93705929 hasPrimaryLocation W937059291 @default.
- W93705929 hasRelatedWork W1538326935 @default.
- W93705929 hasRelatedWork W1914115695 @default.
- W93705929 hasRelatedWork W192823304 @default.
- W93705929 hasRelatedWork W196354470 @default.
- W93705929 hasRelatedWork W1978078271 @default.
- W93705929 hasRelatedWork W1979818150 @default.
- W93705929 hasRelatedWork W2076349161 @default.
- W93705929 hasRelatedWork W2097923425 @default.
- W93705929 hasRelatedWork W2100934637 @default.
- W93705929 hasRelatedWork W2110748634 @default.
- W93705929 hasRelatedWork W2113576812 @default.
- W93705929 hasRelatedWork W2140290992 @default.
- W93705929 hasRelatedWork W2142065220 @default.
- W93705929 hasRelatedWork W2153633198 @default.
- W93705929 hasRelatedWork W2167554611 @default.
- W93705929 hasRelatedWork W2170673304 @default.
- W93705929 hasRelatedWork W2188386601 @default.
- W93705929 hasRelatedWork W2280114176 @default.
- W93705929 hasRelatedWork W2404811228 @default.
- W93705929 hasRelatedWork W2751426875 @default.
- W93705929 isParatext "false" @default.
- W93705929 isRetracted "false" @default.
- W93705929 magId "93705929" @default.
- W93705929 workType "book-chapter" @default.