Matches in SemOpenAlex for { <https://semopenalex.org/work/W75285712> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W75285712 abstract "We present the core-(mathcal{L}_pi)fragment of (mathcal{L}_pi)and its program logic. We illustrate the adequacy of (mathcal{L}_pi)as a meta-language for jointly defining operational semantics and program logics of languages with concurrent and logic features, considering the case of a specification logic for concurrent objects addressing mobile features like creation of objects and channels in a simple way. Specifications are executable by a translation that assigns to every specification a model in the form of a core-(mathcal{L}_pi)program. We also illustrate the usefulness of this framework in reasoning about systems and their components." @default.
- W75285712 created "2016-06-24" @default.
- W75285712 creator A5019928703 @default.
- W75285712 creator A5067951590 @default.
- W75285712 date "1998-01-01" @default.
- W75285712 modified "2023-10-01" @default.
- W75285712 title "Verifiable and executable logic specifications of concurrent objects in $$mathcal{L}_pi$$" @default.
- W75285712 cites W1548392907 @default.
- W75285712 cites W170198835 @default.
- W75285712 cites W1888393077 @default.
- W75285712 cites W2005819264 @default.
- W75285712 cites W2013672985 @default.
- W75285712 cites W2015640848 @default.
- W75285712 cites W2045641460 @default.
- W75285712 cites W2057814731 @default.
- W75285712 cites W2093111544 @default.
- W75285712 cites W2128932399 @default.
- W75285712 cites W2170626879 @default.
- W75285712 cites W2180713429 @default.
- W75285712 cites W2295293974 @default.
- W75285712 cites W2476379118 @default.
- W75285712 cites W2505552897 @default.
- W75285712 doi "https://doi.org/10.1007/bfb0053562" @default.
- W75285712 hasPublicationYear "1998" @default.
- W75285712 type Work @default.
- W75285712 sameAs 75285712 @default.
- W75285712 citedByCount "6" @default.
- W75285712 crossrefType "book-chapter" @default.
- W75285712 hasAuthorship W75285712A5019928703 @default.
- W75285712 hasAuthorship W75285712A5067951590 @default.
- W75285712 hasBestOaLocation W752857121 @default.
- W75285712 hasConcept C104317684 @default.
- W75285712 hasConcept C105580179 @default.
- W75285712 hasConcept C118615104 @default.
- W75285712 hasConcept C149364088 @default.
- W75285712 hasConcept C160145156 @default.
- W75285712 hasConcept C177264268 @default.
- W75285712 hasConcept C184337299 @default.
- W75285712 hasConcept C185592680 @default.
- W75285712 hasConcept C199360897 @default.
- W75285712 hasConcept C2164484 @default.
- W75285712 hasConcept C2776235265 @default.
- W75285712 hasConcept C2984882572 @default.
- W75285712 hasConcept C33923547 @default.
- W75285712 hasConcept C41008148 @default.
- W75285712 hasConcept C55493867 @default.
- W75285712 hasConcept C76155785 @default.
- W75285712 hasConcept C80444323 @default.
- W75285712 hasConcept C85847156 @default.
- W75285712 hasConceptScore W75285712C104317684 @default.
- W75285712 hasConceptScore W75285712C105580179 @default.
- W75285712 hasConceptScore W75285712C118615104 @default.
- W75285712 hasConceptScore W75285712C149364088 @default.
- W75285712 hasConceptScore W75285712C160145156 @default.
- W75285712 hasConceptScore W75285712C177264268 @default.
- W75285712 hasConceptScore W75285712C184337299 @default.
- W75285712 hasConceptScore W75285712C185592680 @default.
- W75285712 hasConceptScore W75285712C199360897 @default.
- W75285712 hasConceptScore W75285712C2164484 @default.
- W75285712 hasConceptScore W75285712C2776235265 @default.
- W75285712 hasConceptScore W75285712C2984882572 @default.
- W75285712 hasConceptScore W75285712C33923547 @default.
- W75285712 hasConceptScore W75285712C41008148 @default.
- W75285712 hasConceptScore W75285712C55493867 @default.
- W75285712 hasConceptScore W75285712C76155785 @default.
- W75285712 hasConceptScore W75285712C80444323 @default.
- W75285712 hasConceptScore W75285712C85847156 @default.
- W75285712 hasLocation W752857121 @default.
- W75285712 hasOpenAccess W75285712 @default.
- W75285712 hasPrimaryLocation W752857121 @default.
- W75285712 hasRelatedWork W1538326935 @default.
- W75285712 hasRelatedWork W1581587967 @default.
- W75285712 hasRelatedWork W1586432163 @default.
- W75285712 hasRelatedWork W1811602476 @default.
- W75285712 hasRelatedWork W1971409749 @default.
- W75285712 hasRelatedWork W1996070941 @default.
- W75285712 hasRelatedWork W2027723207 @default.
- W75285712 hasRelatedWork W2040807747 @default.
- W75285712 hasRelatedWork W2040883471 @default.
- W75285712 hasRelatedWork W2053342841 @default.
- W75285712 hasRelatedWork W2084087973 @default.
- W75285712 hasRelatedWork W2100934637 @default.
- W75285712 hasRelatedWork W2157449911 @default.
- W75285712 hasRelatedWork W2160503580 @default.
- W75285712 hasRelatedWork W2167290885 @default.
- W75285712 hasRelatedWork W2167554611 @default.
- W75285712 hasRelatedWork W2280114176 @default.
- W75285712 hasRelatedWork W2295221401 @default.
- W75285712 hasRelatedWork W2601426915 @default.
- W75285712 hasRelatedWork W2153660405 @default.
- W75285712 isParatext "false" @default.
- W75285712 isRetracted "false" @default.
- W75285712 magId "75285712" @default.
- W75285712 workType "book-chapter" @default.