共 50 条
- [21] INEQUALITY CONSTRAINTS IN CALCULUS OF VARIATIONS CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1977, 29 (03): : 528 - 540
- [23] Calculus of Concurrent Probabilistic Reversible Processes 7TH INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION TECHNOLOGY (ICCCT - 2017), 2017, : 34 - 40
- [24] A Calculus for Concurrent Processes with Cryptographic Primitives APPLIED SCIENCE, MATERIALS SCIENCE AND INFORMATION TECHNOLOGIES IN INDUSTRY, 2014, 513-517 : 3397 - 3400
- [28] A layered agent calculus with concurrent, continuous processes INTELLIGENT AGENTS IV: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1998, 1365 : 245 - 258
- [29] Abstraction of Situation Calculus Concurrent Game Structures THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 9, 2024, : 10624 - 10634
- [30] OOlong: A Concurrent Object Calculus for Extensibility and Reuse APPLIED COMPUTING REVIEW, 2018, 18 (04): : 47 - 60