Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912259090> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2912259090 endingPage "48" @default.
- W2912259090 startingPage "1" @default.
- W2912259090 abstract "Abstract This paper reports on the first steps towards the formal verification of correctness proofs of real-life protocols in process algebra. We show that such proofs can be verified, and partly constructed, by a general purpose proof checker. The process algebra we use is μ CRL, ACP τ augmented with data, which is expressive enough for the specification of real-life protocols. The proof checker we use is Coq, which is based on the Calculus of Constructions, an extension of simply typed lambda calculus. The focus is on the translation of the proof theory of μ CRL and μ CRL-specifications to Coq. As a case study, we verified the Alternating Bit Protocol." @default.
- W2912259090 created "2019-02-21" @default.
- W2912259090 creator A5008923958 @default.
- W2912259090 creator A5032619003 @default.
- W2912259090 creator A5086668562 @default.
- W2912259090 date "1997-01-01" @default.
- W2912259090 modified "2023-09-24" @default.
- W2912259090 title "Formalizing process algebraic verifications in the calculus of constructions" @default.
- W2912259090 cites W1480957705 @default.
- W2912259090 cites W1503762954 @default.
- W2912259090 cites W1522965407 @default.
- W2912259090 cites W1581378641 @default.
- W2912259090 cites W1595726842 @default.
- W2912259090 cites W1949275316 @default.
- W2912259090 cites W1978358700 @default.
- W2912259090 cites W2008242614 @default.
- W2912259090 cites W2009023733 @default.
- W2912259090 cites W2028410161 @default.
- W2912259090 cites W2101724172 @default.
- W2912259090 cites W2137865376 @default.
- W2912259090 cites W2142210186 @default.
- W2912259090 cites W2153945968 @default.
- W2912259090 cites W2154800004 @default.
- W2912259090 cites W2166656159 @default.
- W2912259090 cites W2169164504 @default.
- W2912259090 cites W2235903980 @default.
- W2912259090 cites W4244719572 @default.
- W2912259090 cites W85259315 @default.
- W2912259090 doi "https://doi.org/10.1007/bf01212523" @default.
- W2912259090 hasPublicationYear "1997" @default.
- W2912259090 type Work @default.
- W2912259090 sameAs 2912259090 @default.
- W2912259090 citedByCount "19" @default.
- W2912259090 countsByYear W29122590902012 @default.
- W2912259090 countsByYear W29122590902013 @default.
- W2912259090 countsByYear W29122590902015 @default.
- W2912259090 countsByYear W29122590902018 @default.
- W2912259090 countsByYear W29122590902019 @default.
- W2912259090 countsByYear W29122590902021 @default.
- W2912259090 crossrefType "journal-article" @default.
- W2912259090 hasAuthorship W2912259090A5008923958 @default.
- W2912259090 hasAuthorship W2912259090A5032619003 @default.
- W2912259090 hasAuthorship W2912259090A5086668562 @default.
- W2912259090 hasBestOaLocation W29122590902 @default.
- W2912259090 hasConcept C108710211 @default.
- W2912259090 hasConcept C136119220 @default.
- W2912259090 hasConcept C142724271 @default.
- W2912259090 hasConcept C161771561 @default.
- W2912259090 hasConcept C199343813 @default.
- W2912259090 hasConcept C199360897 @default.
- W2912259090 hasConcept C202444582 @default.
- W2912259090 hasConcept C203265346 @default.
- W2912259090 hasConcept C204787440 @default.
- W2912259090 hasConcept C2524010 @default.
- W2912259090 hasConcept C2777686260 @default.
- W2912259090 hasConcept C2780385302 @default.
- W2912259090 hasConcept C33923547 @default.
- W2912259090 hasConcept C41008148 @default.
- W2912259090 hasConcept C55439883 @default.
- W2912259090 hasConcept C71924100 @default.
- W2912259090 hasConceptScore W2912259090C108710211 @default.
- W2912259090 hasConceptScore W2912259090C136119220 @default.
- W2912259090 hasConceptScore W2912259090C142724271 @default.
- W2912259090 hasConceptScore W2912259090C161771561 @default.
- W2912259090 hasConceptScore W2912259090C199343813 @default.
- W2912259090 hasConceptScore W2912259090C199360897 @default.
- W2912259090 hasConceptScore W2912259090C202444582 @default.
- W2912259090 hasConceptScore W2912259090C203265346 @default.
- W2912259090 hasConceptScore W2912259090C204787440 @default.
- W2912259090 hasConceptScore W2912259090C2524010 @default.
- W2912259090 hasConceptScore W2912259090C2777686260 @default.
- W2912259090 hasConceptScore W2912259090C2780385302 @default.
- W2912259090 hasConceptScore W2912259090C33923547 @default.
- W2912259090 hasConceptScore W2912259090C41008148 @default.
- W2912259090 hasConceptScore W2912259090C55439883 @default.
- W2912259090 hasConceptScore W2912259090C71924100 @default.
- W2912259090 hasIssue "1" @default.
- W2912259090 hasLocation W29122590901 @default.
- W2912259090 hasLocation W29122590902 @default.
- W2912259090 hasLocation W29122590903 @default.
- W2912259090 hasOpenAccess W2912259090 @default.
- W2912259090 hasPrimaryLocation W29122590901 @default.
- W2912259090 hasRelatedWork W1499019887 @default.
- W2912259090 hasRelatedWork W1538072621 @default.
- W2912259090 hasRelatedWork W2216481005 @default.
- W2912259090 hasRelatedWork W2295642466 @default.
- W2912259090 hasRelatedWork W2579160749 @default.
- W2912259090 hasRelatedWork W2886328560 @default.
- W2912259090 hasRelatedWork W3002727729 @default.
- W2912259090 hasRelatedWork W3036611088 @default.
- W2912259090 hasRelatedWork W3089305218 @default.
- W2912259090 hasRelatedWork W3125694439 @default.
- W2912259090 hasVolume "9" @default.
- W2912259090 isParatext "false" @default.
- W2912259090 isRetracted "false" @default.
- W2912259090 magId "2912259090" @default.
- W2912259090 workType "article" @default.