Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011399941> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2011399941 abstract "Concurrency in Gypsy is based on a unique, formal approach to specifying and proving systems of concurrent processes. The specification and proof methods are designed so that proofs of individual processes are totally independent, even when operating concurrently. These methods can be applied both to terminating and non-terminating processes, and the proof methods are well suited to automated verification aids. The basic principles of these methods and their interaction with the design of Gypsy are described." @default.
- W2011399941 created "2016-06-24" @default.
- W2011399941 creator A5002150810 @default.
- W2011399941 creator A5016838876 @default.
- W2011399941 creator A5087268411 @default.
- W2011399941 date "1979-01-01" @default.
- W2011399941 modified "2023-10-17" @default.
- W2011399941 title "Principles of proving concurrent programs in Gypsy" @default.
- W2011399941 cites W1789713128 @default.
- W2011399941 cites W1809844233 @default.
- W2011399941 cites W1964727056 @default.
- W2011399941 cites W1970712452 @default.
- W2011399941 cites W1981392712 @default.
- W2011399941 cites W2002188117 @default.
- W2011399941 cites W2012220159 @default.
- W2011399941 cites W2051049607 @default.
- W2011399941 cites W2066210260 @default.
- W2011399941 cites W2100021838 @default.
- W2011399941 cites W2107997147 @default.
- W2011399941 cites W2131791649 @default.
- W2011399941 cites W2340595401 @default.
- W2011399941 doi "https://doi.org/10.1145/567752.567757" @default.
- W2011399941 hasPublicationYear "1979" @default.
- W2011399941 type Work @default.
- W2011399941 sameAs 2011399941 @default.
- W2011399941 citedByCount "51" @default.
- W2011399941 crossrefType "proceedings-article" @default.
- W2011399941 hasAuthorship W2011399941A5002150810 @default.
- W2011399941 hasAuthorship W2011399941A5016838876 @default.
- W2011399941 hasAuthorship W2011399941A5087268411 @default.
- W2011399941 hasBestOaLocation W20113999412 @default.
- W2011399941 hasConcept C108710211 @default.
- W2011399941 hasConcept C111498074 @default.
- W2011399941 hasConcept C115903868 @default.
- W2011399941 hasConcept C155214134 @default.
- W2011399941 hasConcept C156325763 @default.
- W2011399941 hasConcept C159333733 @default.
- W2011399941 hasConcept C184337299 @default.
- W2011399941 hasConcept C193702766 @default.
- W2011399941 hasConcept C199360897 @default.
- W2011399941 hasConcept C2524010 @default.
- W2011399941 hasConcept C33923547 @default.
- W2011399941 hasConcept C41008148 @default.
- W2011399941 hasConcept C75606506 @default.
- W2011399941 hasConcept C80444323 @default.
- W2011399941 hasConceptScore W2011399941C108710211 @default.
- W2011399941 hasConceptScore W2011399941C111498074 @default.
- W2011399941 hasConceptScore W2011399941C115903868 @default.
- W2011399941 hasConceptScore W2011399941C155214134 @default.
- W2011399941 hasConceptScore W2011399941C156325763 @default.
- W2011399941 hasConceptScore W2011399941C159333733 @default.
- W2011399941 hasConceptScore W2011399941C184337299 @default.
- W2011399941 hasConceptScore W2011399941C193702766 @default.
- W2011399941 hasConceptScore W2011399941C199360897 @default.
- W2011399941 hasConceptScore W2011399941C2524010 @default.
- W2011399941 hasConceptScore W2011399941C33923547 @default.
- W2011399941 hasConceptScore W2011399941C41008148 @default.
- W2011399941 hasConceptScore W2011399941C75606506 @default.
- W2011399941 hasConceptScore W2011399941C80444323 @default.
- W2011399941 hasLocation W20113999411 @default.
- W2011399941 hasLocation W20113999412 @default.
- W2011399941 hasOpenAccess W2011399941 @default.
- W2011399941 hasPrimaryLocation W20113999411 @default.
- W2011399941 hasRelatedWork W1483025148 @default.
- W2011399941 hasRelatedWork W1967946180 @default.
- W2011399941 hasRelatedWork W2011399941 @default.
- W2011399941 hasRelatedWork W2012923552 @default.
- W2011399941 hasRelatedWork W2113201355 @default.
- W2011399941 hasRelatedWork W2794930237 @default.
- W2011399941 hasRelatedWork W297617173 @default.
- W2011399941 hasRelatedWork W4206956498 @default.
- W2011399941 hasRelatedWork W4243634862 @default.
- W2011399941 hasRelatedWork W2804226765 @default.
- W2011399941 isParatext "false" @default.
- W2011399941 isRetracted "false" @default.
- W2011399941 magId "2011399941" @default.
- W2011399941 workType "article" @default.