Matches in SemOpenAlex for { <https://semopenalex.org/work/W81135557> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W81135557 endingPage "856" @default.
- W81135557 startingPage "855" @default.
- W81135557 abstract "The paper defines a notion of conformance of a set of k agents with a multiparty protocol with k roles, requiring the agents to be interoperable and to produce correct executions of the protocol. Conditions are introduced that enable each agent to be independently verified with respect to the protocol." @default.
- W81135557 created "2016-06-24" @default.
- W81135557 creator A5002078119 @default.
- W81135557 creator A5038489315 @default.
- W81135557 date "2008-06-27" @default.
- W81135557 modified "2023-09-23" @default.
- W81135557 title "Verifying the Conformance of Agents with Multiparty Protocols" @default.
- W81135557 cites W1488556964 @default.
- W81135557 cites W1512101466 @default.
- W81135557 cites W1531142781 @default.
- W81135557 cites W2092139396 @default.
- W81135557 cites W2160614390 @default.
- W81135557 cites W2512033590 @default.
- W81135557 hasPublicationYear "2008" @default.
- W81135557 type Work @default.
- W81135557 sameAs 81135557 @default.
- W81135557 citedByCount "1" @default.
- W81135557 crossrefType "proceedings-article" @default.
- W81135557 hasAuthorship W81135557A5002078119 @default.
- W81135557 hasAuthorship W81135557A5038489315 @default.
- W81135557 hasConcept C111919701 @default.
- W81135557 hasConcept C120314980 @default.
- W81135557 hasConcept C142724271 @default.
- W81135557 hasConcept C177264268 @default.
- W81135557 hasConcept C184337299 @default.
- W81135557 hasConcept C188087704 @default.
- W81135557 hasConcept C199360897 @default.
- W81135557 hasConcept C20136886 @default.
- W81135557 hasConcept C204787440 @default.
- W81135557 hasConcept C2775851571 @default.
- W81135557 hasConcept C2780385302 @default.
- W81135557 hasConcept C41008148 @default.
- W81135557 hasConcept C71924100 @default.
- W81135557 hasConcept C76844732 @default.
- W81135557 hasConceptScore W81135557C111919701 @default.
- W81135557 hasConceptScore W81135557C120314980 @default.
- W81135557 hasConceptScore W81135557C142724271 @default.
- W81135557 hasConceptScore W81135557C177264268 @default.
- W81135557 hasConceptScore W81135557C184337299 @default.
- W81135557 hasConceptScore W81135557C188087704 @default.
- W81135557 hasConceptScore W81135557C199360897 @default.
- W81135557 hasConceptScore W81135557C20136886 @default.
- W81135557 hasConceptScore W81135557C204787440 @default.
- W81135557 hasConceptScore W81135557C2775851571 @default.
- W81135557 hasConceptScore W81135557C2780385302 @default.
- W81135557 hasConceptScore W81135557C41008148 @default.
- W81135557 hasConceptScore W81135557C71924100 @default.
- W81135557 hasConceptScore W81135557C76844732 @default.
- W81135557 hasLocation W811355571 @default.
- W81135557 hasOpenAccess W81135557 @default.
- W81135557 hasPrimaryLocation W811355571 @default.
- W81135557 hasRelatedWork W1559421608 @default.
- W81135557 hasRelatedWork W1606784654 @default.
- W81135557 hasRelatedWork W1623929382 @default.
- W81135557 hasRelatedWork W177177356 @default.
- W81135557 hasRelatedWork W1792021242 @default.
- W81135557 hasRelatedWork W1994221618 @default.
- W81135557 hasRelatedWork W2030827979 @default.
- W81135557 hasRelatedWork W2061134172 @default.
- W81135557 hasRelatedWork W2070667944 @default.
- W81135557 hasRelatedWork W2115382662 @default.
- W81135557 hasRelatedWork W2124792522 @default.
- W81135557 hasRelatedWork W2514462612 @default.
- W81135557 hasRelatedWork W2756645464 @default.
- W81135557 hasRelatedWork W2951963684 @default.
- W81135557 hasRelatedWork W3109872936 @default.
- W81135557 hasRelatedWork W3121979527 @default.
- W81135557 hasRelatedWork W35518904 @default.
- W81135557 hasRelatedWork W563085368 @default.
- W81135557 hasRelatedWork W86241532 @default.
- W81135557 hasRelatedWork W3132024925 @default.
- W81135557 isParatext "false" @default.
- W81135557 isRetracted "false" @default.
- W81135557 magId "81135557" @default.
- W81135557 workType "article" @default.