Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003164038> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2003164038 endingPage "640" @default.
- W2003164038 startingPage "620" @default.
- W2003164038 abstract "article Free Access Share on Correctness Proofs of Communicating Processes: Three Illustrative Examples From the Literature Author: Marty Ossefort The University of Texas at Austin The University of Texas at AustinView Profile Authors Info & Claims ACM Transactions on Programming Languages and SystemsVolume 5Issue 4Oct. 1983 pp 620–640https://doi.org/10.1145/69575.2083Online:01 October 1983Publication History 15citation297DownloadsMetricsTotal Citations15Total Downloads297Last 12 Months5Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF" @default.
- W2003164038 created "2016-06-24" @default.
- W2003164038 creator A5048335909 @default.
- W2003164038 date "1983-10-01" @default.
- W2003164038 modified "2023-10-17" @default.
- W2003164038 title "Correctness Proofs of Communicating Processes: Three Illustrative Examples From the Literature" @default.
- W2003164038 cites W1964727056 @default.
- W2003164038 cites W1975586790 @default.
- W2003164038 cites W1984831616 @default.
- W2003164038 cites W2038952689 @default.
- W2003164038 cites W4211008702 @default.
- W2003164038 doi "https://doi.org/10.1145/69575.2083" @default.
- W2003164038 hasPublicationYear "1983" @default.
- W2003164038 type Work @default.
- W2003164038 sameAs 2003164038 @default.
- W2003164038 citedByCount "18" @default.
- W2003164038 crossrefType "journal-article" @default.
- W2003164038 hasAuthorship W2003164038A5048335909 @default.
- W2003164038 hasBestOaLocation W20031640381 @default.
- W2003164038 hasConcept C108710211 @default.
- W2003164038 hasConcept C136764020 @default.
- W2003164038 hasConcept C199360897 @default.
- W2003164038 hasConcept C23123220 @default.
- W2003164038 hasConcept C2524010 @default.
- W2003164038 hasConcept C2778805511 @default.
- W2003164038 hasConcept C33923547 @default.
- W2003164038 hasConcept C41008148 @default.
- W2003164038 hasConcept C55439883 @default.
- W2003164038 hasConceptScore W2003164038C108710211 @default.
- W2003164038 hasConceptScore W2003164038C136764020 @default.
- W2003164038 hasConceptScore W2003164038C199360897 @default.
- W2003164038 hasConceptScore W2003164038C23123220 @default.
- W2003164038 hasConceptScore W2003164038C2524010 @default.
- W2003164038 hasConceptScore W2003164038C2778805511 @default.
- W2003164038 hasConceptScore W2003164038C33923547 @default.
- W2003164038 hasConceptScore W2003164038C41008148 @default.
- W2003164038 hasConceptScore W2003164038C55439883 @default.
- W2003164038 hasIssue "4" @default.
- W2003164038 hasLocation W20031640381 @default.
- W2003164038 hasOpenAccess W2003164038 @default.
- W2003164038 hasPrimaryLocation W20031640381 @default.
- W2003164038 hasRelatedWork W1549164736 @default.
- W2003164038 hasRelatedWork W1601555245 @default.
- W2003164038 hasRelatedWork W1966784499 @default.
- W2003164038 hasRelatedWork W2024218563 @default.
- W2003164038 hasRelatedWork W2072806201 @default.
- W2003164038 hasRelatedWork W2084093324 @default.
- W2003164038 hasRelatedWork W2094260934 @default.
- W2003164038 hasRelatedWork W2748952813 @default.
- W2003164038 hasRelatedWork W2952841026 @default.
- W2003164038 hasRelatedWork W4289744349 @default.
- W2003164038 hasVolume "5" @default.
- W2003164038 isParatext "false" @default.
- W2003164038 isRetracted "false" @default.
- W2003164038 magId "2003164038" @default.
- W2003164038 workType "article" @default.