A speech-act-based negotiation protocol: design, implementation, and test use
ACM Transactions on Information Systems (TOIS)
Speech acts, electronic commerce, and KQML
Decision Support Systems - Special issue: logic modeling
Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems
Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems
Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Petri nets are good for protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Distributed electronic trade scenarios: representation, design, prototyping
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
| Hi-index | 0.00 |