Matches in SemOpenAlex for { <https://semopenalex.org/work/W2184144654> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2184144654 abstract "This paper introduces Attribute Global Types, an extension inspired by Attribute Grammars to a formalism we have recently proposed for specifying and dynamically verifying multi-party agent interaction protocols. Global types equipped with attributes are more expressive, since they allow parametric specications of protocols, but despite their expressive power, they can be still eectively used for dynamic checking of protocols: Attribute Global Types can be easily represented as Prolog terms, and a mechanism for verifying that a sequence of messages complies to an Attribute Global Type has been designed and implemented in Prolog. This logicbased representation and implementation allow us to integrate a monitor agent implementing a run-time verication" @default.
- W2184144654 created "2016-06-24" @default.
- W2184144654 creator A5022301074 @default.
- W2184144654 creator A5036812254 @default.
- W2184144654 date "2013-01-01" @default.
- W2184144654 modified "2023-09-24" @default.
- W2184144654 title "Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems" @default.
- W2184144654 cites W1495952345 @default.
- W2184144654 cites W1497120980 @default.
- W2184144654 cites W1540024383 @default.
- W2184144654 cites W1549061150 @default.
- W2184144654 cites W1551776235 @default.
- W2184144654 cites W1608665889 @default.
- W2184144654 cites W1780016311 @default.
- W2184144654 cites W189296993 @default.
- W2184144654 cites W1975234382 @default.
- W2184144654 cites W2040105559 @default.
- W2184144654 cites W2092139396 @default.
- W2184144654 cites W2128672031 @default.
- W2184144654 cites W2134753436 @default.
- W2184144654 cites W2139428244 @default.
- W2184144654 cites W95847255 @default.
- W2184144654 hasPublicationYear "2013" @default.
- W2184144654 type Work @default.
- W2184144654 sameAs 2184144654 @default.
- W2184144654 citedByCount "4" @default.
- W2184144654 countsByYear W21841446542014 @default.
- W2184144654 countsByYear W21841446542015 @default.
- W2184144654 countsByYear W21841446542016 @default.
- W2184144654 crossrefType "journal-article" @default.
- W2184144654 hasAuthorship W2184144654A5022301074 @default.
- W2184144654 hasAuthorship W2184144654A5036812254 @default.
- W2184144654 hasConcept C120314980 @default.
- W2184144654 hasConcept C142362112 @default.
- W2184144654 hasConcept C153349607 @default.
- W2184144654 hasConcept C17744445 @default.
- W2184144654 hasConcept C195818886 @default.
- W2184144654 hasConcept C199360897 @default.
- W2184144654 hasConcept C199539241 @default.
- W2184144654 hasConcept C2776359362 @default.
- W2184144654 hasConcept C41008148 @default.
- W2184144654 hasConcept C558565934 @default.
- W2184144654 hasConcept C73301696 @default.
- W2184144654 hasConcept C80444323 @default.
- W2184144654 hasConcept C81721847 @default.
- W2184144654 hasConcept C94625758 @default.
- W2184144654 hasConceptScore W2184144654C120314980 @default.
- W2184144654 hasConceptScore W2184144654C142362112 @default.
- W2184144654 hasConceptScore W2184144654C153349607 @default.
- W2184144654 hasConceptScore W2184144654C17744445 @default.
- W2184144654 hasConceptScore W2184144654C195818886 @default.
- W2184144654 hasConceptScore W2184144654C199360897 @default.
- W2184144654 hasConceptScore W2184144654C199539241 @default.
- W2184144654 hasConceptScore W2184144654C2776359362 @default.
- W2184144654 hasConceptScore W2184144654C41008148 @default.
- W2184144654 hasConceptScore W2184144654C558565934 @default.
- W2184144654 hasConceptScore W2184144654C73301696 @default.
- W2184144654 hasConceptScore W2184144654C80444323 @default.
- W2184144654 hasConceptScore W2184144654C81721847 @default.
- W2184144654 hasConceptScore W2184144654C94625758 @default.
- W2184144654 hasLocation W21841446541 @default.
- W2184144654 hasOpenAccess W2184144654 @default.
- W2184144654 hasPrimaryLocation W21841446541 @default.
- W2184144654 hasRelatedWork W1527664849 @default.
- W2184144654 hasRelatedWork W1546036076 @default.
- W2184144654 hasRelatedWork W154969356 @default.
- W2184144654 hasRelatedWork W189296993 @default.
- W2184144654 hasRelatedWork W1975234382 @default.
- W2184144654 hasRelatedWork W201916036 @default.
- W2184144654 hasRelatedWork W2065604163 @default.
- W2184144654 hasRelatedWork W2068157519 @default.
- W2184144654 hasRelatedWork W2121514867 @default.
- W2184144654 hasRelatedWork W2291696597 @default.
- W2184144654 hasRelatedWork W2296750566 @default.
- W2184144654 hasRelatedWork W2503998657 @default.
- W2184144654 hasRelatedWork W250884252 @default.
- W2184144654 hasRelatedWork W2734919365 @default.
- W2184144654 hasRelatedWork W2788908654 @default.
- W2184144654 hasRelatedWork W2885961200 @default.
- W2184144654 hasRelatedWork W2948675117 @default.
- W2184144654 hasRelatedWork W2950815967 @default.
- W2184144654 hasRelatedWork W3202842528 @default.
- W2184144654 hasRelatedWork W1946766153 @default.
- W2184144654 hasVolume "13" @default.
- W2184144654 isParatext "false" @default.
- W2184144654 isRetracted "false" @default.
- W2184144654 magId "2184144654" @default.
- W2184144654 workType "article" @default.