Matches in SemOpenAlex for { <https://semopenalex.org/work/W3146077742> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W3146077742 abstract "This volume contains the proceedings of SOS 2011, the Eight Workshop on Structural Operational Semantics, held on the 5th of September 2011 in Aachen, Germany as an affiliated workshop of CONCUR 2011, the 22nd International Conference on Concurrency Theory. Structural operational semantics (SOS) provides a framework for giving operational semantics to programming and specification languages. A growing number of programming languages from commercial and academic spheres have been given usable semantic descriptions by means of structural operational semantics. Because of its intuitive appeal and flexibility, structural operational semantics has found considerable application in the study of the semantics of concurrent processes. It is also a viable alternative to denotational semantics in the static analysis of programs, and in proving compiler correctness. Moreover, it has found application in emerging areas of computing such as probabilistic systems and systems biology. Structural operational semantics has been successfully applied as a formal tool to establish results that hold for classes of process description languages. This has allowed for the generalization of well-known results in the field of process algebra, and for the development of a meta-theory for process calculi based on the realization that many of the results in this field only depend upon general semantic properties of language constructs. The workshop is a forum for researchers, students and practitioners interested in new developments and directions for future investigations. One of the specific goals of the workshop is to provide a meeting point for the concurrency and programming language communities. Another goal is the dissemination of the theory and practice of SOS amongst postgraduate students and young researchers worldwide." @default.
- W3146077742 created "2021-04-13" @default.
- W3146077742 creator A5016173850 @default.
- W3146077742 creator A5040487816 @default.
- W3146077742 date "2011-08-13" @default.
- W3146077742 modified "2023-09-25" @default.
- W3146077742 doi "https://doi.org/10.4204/eptcs.62" @default.
- W3146077742 hasPublicationYear "2011" @default.
- W3146077742 type Work @default.
- W3146077742 sameAs 3146077742 @default.
- W3146077742 citedByCount "0" @default.
- W3146077742 crossrefType "journal-issue" @default.
- W3146077742 hasAuthorship W3146077742A5016173850 @default.
- W3146077742 hasAuthorship W3146077742A5040487816 @default.
- W3146077742 hasBestOaLocation W31460777421 @default.
- W3146077742 hasConcept C115903868 @default.
- W3146077742 hasConcept C150607116 @default.
- W3146077742 hasConcept C156325763 @default.
- W3146077742 hasConcept C169590947 @default.
- W3146077742 hasConcept C184337299 @default.
- W3146077742 hasConcept C18701968 @default.
- W3146077742 hasConcept C193702766 @default.
- W3146077742 hasConcept C199305712 @default.
- W3146077742 hasConcept C199360897 @default.
- W3146077742 hasConcept C200065993 @default.
- W3146077742 hasConcept C202444582 @default.
- W3146077742 hasConcept C207648694 @default.
- W3146077742 hasConcept C33923547 @default.
- W3146077742 hasConcept C34165917 @default.
- W3146077742 hasConcept C41008148 @default.
- W3146077742 hasConcept C55439883 @default.
- W3146077742 hasConcept C89497691 @default.
- W3146077742 hasConcept C9652623 @default.
- W3146077742 hasConceptScore W3146077742C115903868 @default.
- W3146077742 hasConceptScore W3146077742C150607116 @default.
- W3146077742 hasConceptScore W3146077742C156325763 @default.
- W3146077742 hasConceptScore W3146077742C169590947 @default.
- W3146077742 hasConceptScore W3146077742C184337299 @default.
- W3146077742 hasConceptScore W3146077742C18701968 @default.
- W3146077742 hasConceptScore W3146077742C193702766 @default.
- W3146077742 hasConceptScore W3146077742C199305712 @default.
- W3146077742 hasConceptScore W3146077742C199360897 @default.
- W3146077742 hasConceptScore W3146077742C200065993 @default.
- W3146077742 hasConceptScore W3146077742C202444582 @default.
- W3146077742 hasConceptScore W3146077742C207648694 @default.
- W3146077742 hasConceptScore W3146077742C33923547 @default.
- W3146077742 hasConceptScore W3146077742C34165917 @default.
- W3146077742 hasConceptScore W3146077742C41008148 @default.
- W3146077742 hasConceptScore W3146077742C55439883 @default.
- W3146077742 hasConceptScore W3146077742C89497691 @default.
- W3146077742 hasConceptScore W3146077742C9652623 @default.
- W3146077742 hasLocation W31460777421 @default.
- W3146077742 hasLocation W31460777422 @default.
- W3146077742 hasOpenAccess W3146077742 @default.
- W3146077742 hasPrimaryLocation W31460777421 @default.
- W3146077742 hasRelatedWork W2110907295 @default.
- W3146077742 hasRelatedWork W2358529825 @default.
- W3146077742 hasRelatedWork W2681723658 @default.
- W3146077742 hasRelatedWork W2738461706 @default.
- W3146077742 hasRelatedWork W3163637575 @default.
- W3146077742 hasRelatedWork W75631880 @default.
- W3146077742 hasRelatedWork W783270985 @default.
- W3146077742 hasRelatedWork W1958334269 @default.
- W3146077742 hasRelatedWork W2938892545 @default.
- W3146077742 hasRelatedWork W3023595429 @default.
- W3146077742 hasVolume "62" @default.
- W3146077742 isParatext "false" @default.
- W3146077742 isRetracted "false" @default.
- W3146077742 magId "3146077742" @default.
- W3146077742 workType "paratext" @default.