Matches in SemOpenAlex for { <https://semopenalex.org/work/W4379933539> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4379933539 abstract "We present a framework for the distributed monitoring of networks of components that coordinate by message-passing, following multiparty session protocols specified as global types. We improve over prior works by (i) supporting components whose exact specification is unknown (blackboxes) and (ii) covering protocols that cannot be analyzed by existing techniques. We first give a procedure for synthesizing monitors for blackboxes from global types, and precisely define when a blackbox correctly satisfies its global type. Then, we prove that monitored blackboxes are sound (they correctly follow the protocol) and transparent (blackboxes with and without monitors are behaviorally equivalent)." @default.
- W4379933539 created "2023-06-09" @default.
- W4379933539 creator A5034548013 @default.
- W4379933539 creator A5052455553 @default.
- W4379933539 creator A5092120635 @default.
- W4379933539 date "2023-06-07" @default.
- W4379933539 modified "2023-10-05" @default.
- W4379933539 title "Monitoring Blackbox Implementations of Multiparty Session Protocols" @default.
- W4379933539 doi "https://doi.org/10.48550/arxiv.2306.04204" @default.
- W4379933539 hasPublicationYear "2023" @default.
- W4379933539 type Work @default.
- W4379933539 citedByCount "1" @default.
- W4379933539 crossrefType "posted-content" @default.
- W4379933539 hasAuthorship W4379933539A5034548013 @default.
- W4379933539 hasAuthorship W4379933539A5052455553 @default.
- W4379933539 hasAuthorship W4379933539A5092120635 @default.
- W4379933539 hasBestOaLocation W43799335391 @default.
- W4379933539 hasConcept C120314980 @default.
- W4379933539 hasConcept C136764020 @default.
- W4379933539 hasConcept C142724271 @default.
- W4379933539 hasConcept C199360897 @default.
- W4379933539 hasConcept C204787440 @default.
- W4379933539 hasConcept C26713055 @default.
- W4379933539 hasConcept C2779182362 @default.
- W4379933539 hasConcept C2780385302 @default.
- W4379933539 hasConcept C31258907 @default.
- W4379933539 hasConcept C41008148 @default.
- W4379933539 hasConcept C71924100 @default.
- W4379933539 hasConcept C80444323 @default.
- W4379933539 hasConceptScore W4379933539C120314980 @default.
- W4379933539 hasConceptScore W4379933539C136764020 @default.
- W4379933539 hasConceptScore W4379933539C142724271 @default.
- W4379933539 hasConceptScore W4379933539C199360897 @default.
- W4379933539 hasConceptScore W4379933539C204787440 @default.
- W4379933539 hasConceptScore W4379933539C26713055 @default.
- W4379933539 hasConceptScore W4379933539C2779182362 @default.
- W4379933539 hasConceptScore W4379933539C2780385302 @default.
- W4379933539 hasConceptScore W4379933539C31258907 @default.
- W4379933539 hasConceptScore W4379933539C41008148 @default.
- W4379933539 hasConceptScore W4379933539C71924100 @default.
- W4379933539 hasConceptScore W4379933539C80444323 @default.
- W4379933539 hasLocation W43799335391 @default.
- W4379933539 hasOpenAccess W4379933539 @default.
- W4379933539 hasPrimaryLocation W43799335391 @default.
- W4379933539 hasRelatedWork W3012257603 @default.
- W4379933539 hasRelatedWork W3016450995 @default.
- W4379933539 hasRelatedWork W3138244192 @default.
- W4379933539 hasRelatedWork W3177475962 @default.
- W4379933539 hasRelatedWork W4230197055 @default.
- W4379933539 hasRelatedWork W4239368213 @default.
- W4379933539 hasRelatedWork W4292264782 @default.
- W4379933539 hasRelatedWork W4296749040 @default.
- W4379933539 hasRelatedWork W621808327 @default.
- W4379933539 hasRelatedWork W644007644 @default.
- W4379933539 isParatext "false" @default.
- W4379933539 isRetracted "false" @default.
- W4379933539 workType "article" @default.