Samuel H. Christie V.
3 papers · 2021–2025 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(10)
Venues
Top co-authors
Research topics
Keywords
multi-agent system
(3)
protocol verification
(2)
asynchronous communication
(2)
interaction protocol
(2)
coordination mechanism
(1)
declarative semantics
(1)
multi-agent communication
(1)
causality constraint
(1)
requirement pattern
(1)
formal semantics
(1)
inference rule
(1)
declarative protocol
(1)
protocol specification
(1)
message-oriented protocol
(1)
formal verification
(1)
declarative protocol language
(1)
message passing
(1)
formal specification
(1)
communication protocol
(1)