FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569472630> ?p ?o ?g. }

• W1569472630 endingPage "82" @default.
• W1569472630 startingPage "65" @default.
• W1569472630 abstract "In recent works we have defined a general framework for the validation of parameterized concurrent systems based on the combination of multiset rewriting and constraints. The class of systems we are interested in consists of concurrent systems parametric in the number of individual components. Our framework provides the following features: a specification language for the class of concurrent systems taken into consideration; an assertional language to finitely represent infinite sets of configurations; and a sound and fully automatic verification method based on symbolic state exploration. The verification procedure has been implemented in a Constraint Logic Programming systems, namely Sicstus Prolog and the clp(Q,R) library. CLP provides in fact all necessary operations to manipulate multisets and constraints both as uninterpreted and interpreted objects. Operations over constraints are delegated in fact to the clp(Q,R) library, and encapsulated into Sicstus Prolog predicates. The method can be applied to solve validation problems for communication protocols, and (potentially) of security and authentication protocols and abstractions of concurrent programs. In this paper we overview the main features of our framework and comment on some of the more interesting applications." @default.
• W1569472630 created "2016-06-24" @default.
• W1569472630 creator A5071901297 @default.
• W1569472630 date "2002-11-01" @default.
• W1569472630 modified "2023-09-27" @default.
• W1569472630 title "An Overview of MSR( )" @default.
• W1569472630 cites W1488718410 @default.
• W1569472630 cites W1522553964 @default.
• W1569472630 cites W1536946401 @default.
• W1569472630 cites W1564286197 @default.
• W1569472630 cites W1567137300 @default.
• W1569472630 cites W1582650717 @default.
• W1569472630 cites W1588072091 @default.
• W1569472630 cites W1605302571 @default.
• W1569472630 cites W1777025722 @default.
• W1569472630 cites W1854012871 @default.
• W1569472630 cites W1861590051 @default.
• W1569472630 cites W1926085771 @default.
• W1569472630 cites W1967174286 @default.
• W1569472630 cites W1975425602 @default.
• W1569472630 cites W1982900911 @default.
• W1569472630 cites W2044902313 @default.
• W1569472630 cites W2083344324 @default.
• W1569472630 cites W2123396057 @default.
• W1569472630 cites W2571001698 @default.
• W1569472630 doi "https://doi.org/10.1016/s1571-0661(04)80786-2" @default.
• W1569472630 hasPublicationYear "2002" @default.
• W1569472630 type Work @default.
• W1569472630 sameAs 1569472630 @default.
• W1569472630 citedByCount "23" @default.
• W1569472630 countsByYear W15694726302012 @default.
• W1569472630 countsByYear W15694726302013 @default.
• W1569472630 countsByYear W15694726302014 @default.
• W1569472630 countsByYear W15694726302015 @default.
• W1569472630 countsByYear W15694726302016 @default.
• W1569472630 countsByYear W15694726302018 @default.
• W1569472630 countsByYear W15694726302020 @default.
• W1569472630 countsByYear W15694726302021 @default.
• W1569472630 countsByYear W15694726302023 @default.
• W1569472630 crossrefType "journal-article" @default.
• W1569472630 hasAuthorship W1569472630A5071901297 @default.
• W1569472630 hasBestOaLocation W15694726301 @default.
• W1569472630 hasConcept C105795698 @default.
• W1569472630 hasConcept C11413529 @default.
• W1569472630 hasConcept C114614502 @default.
• W1569472630 hasConcept C128838566 @default.
• W1569472630 hasConcept C137631369 @default.
• W1569472630 hasConcept C154690210 @default.
• W1569472630 hasConcept C154945302 @default.
• W1569472630 hasConcept C165464430 @default.
• W1569472630 hasConcept C173404611 @default.
• W1569472630 hasConcept C193702766 @default.
• W1569472630 hasConcept C199360897 @default.
• W1569472630 hasConcept C2524010 @default.
• W1569472630 hasConcept C2776036281 @default.
• W1569472630 hasConcept C2777212361 @default.
• W1569472630 hasConcept C2779623528 @default.
• W1569472630 hasConcept C33923547 @default.
• W1569472630 hasConcept C39920170 @default.
• W1569472630 hasConcept C41008148 @default.
• W1569472630 hasConcept C80444323 @default.
• W1569472630 hasConcept C81721847 @default.
• W1569472630 hasConceptScore W1569472630C105795698 @default.
• W1569472630 hasConceptScore W1569472630C11413529 @default.
• W1569472630 hasConceptScore W1569472630C114614502 @default.
• W1569472630 hasConceptScore W1569472630C128838566 @default.
• W1569472630 hasConceptScore W1569472630C137631369 @default.
• W1569472630 hasConceptScore W1569472630C154690210 @default.
• W1569472630 hasConceptScore W1569472630C154945302 @default.
• W1569472630 hasConceptScore W1569472630C165464430 @default.
• W1569472630 hasConceptScore W1569472630C173404611 @default.
• W1569472630 hasConceptScore W1569472630C193702766 @default.
• W1569472630 hasConceptScore W1569472630C199360897 @default.
• W1569472630 hasConceptScore W1569472630C2524010 @default.
• W1569472630 hasConceptScore W1569472630C2776036281 @default.
• W1569472630 hasConceptScore W1569472630C2777212361 @default.
• W1569472630 hasConceptScore W1569472630C2779623528 @default.
• W1569472630 hasConceptScore W1569472630C33923547 @default.
• W1569472630 hasConceptScore W1569472630C39920170 @default.
• W1569472630 hasConceptScore W1569472630C41008148 @default.
• W1569472630 hasConceptScore W1569472630C80444323 @default.
• W1569472630 hasConceptScore W1569472630C81721847 @default.
• W1569472630 hasLocation W15694726301 @default.
• W1569472630 hasOpenAccess W1569472630 @default.
• W1569472630 hasPrimaryLocation W15694726301 @default.
• W1569472630 hasRelatedWork W1569472630 @default.
• W1569472630 hasRelatedWork W1700392958 @default.
• W1569472630 hasRelatedWork W1720814215 @default.
• W1569472630 hasRelatedWork W1964013298 @default.
• W1569472630 hasRelatedWork W2053719172 @default.
• W1569472630 hasRelatedWork W2102533753 @default.
• W1569472630 hasRelatedWork W2114658236 @default.
• W1569472630 hasRelatedWork W2157106361 @default.
• W1569472630 hasRelatedWork W3000431583 @default.
• W1569472630 hasRelatedWork W2117658650 @default.
• W1569472630 hasVolume "76" @default.
• W1569472630 isParatext "false" @default.
• W1569472630 isRetracted "false" @default.

• next