共 50 条
- [41] On procedure recognition in the situation calculus XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, 2002, : 33 - 42
- [44] Hybrid Temporal Situation Calculus SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1162 - 1164
- [46] MAKING SITUATION CALCULUS INDEXICAL PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 467 - 474
- [48] A Pi-calculus-based business process formal design method COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN III, 2007, 4402 : 347 - +
- [49] Formal analysis of security protocol based on process calculus and knowledge derivation Jisuanji Yanjiu yu Fazhan, 2006, 5 (953-958):