BSPL

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:domain multiagent systems
gptkbp:emphasizes information causality
gptkbp:focusesOn gptkb:network_protocol
gptkbp:fullName Blindingly Simple Protocol Language
https://www.w3.org/2000/01/rdf-schema#label BSPL
gptkbp:notableFor information-based approach
gptkbp:originatedIn academic research
gptkbp:publishedIn Singh, M. P., & Chopra, A. K. (2012). "BSPL: A Language for Modeling Protocols"
gptkbp:relatedTo agent communication languages
commitment protocols
gptkbp:supports declarative specification
gptkbp:usedFor specifying distributed protocols
gptkbp:bfsParent gptkb:British_Speedway_Promoters_Limited
gptkbp:bfsLayer 8