共 50 条
- [3] Acmqueue multitier programming in Hop [J]. Serrano, M., 1600, Association for Computing Machinery (10): : 10 - 22
- [5] Transfer functions of distributed parameter systems: A tutorial [J]. AUTOMATICA, 2009, 45 (05) : 1101 - 1116
- [6] Tutorial on formal methods for distributed and cooperative systems [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 362 - 365
- [7] Tutorial: Consistency Choices in Modern Distributed Systems [J]. PODC'18: PROCEEDINGS OF THE 2018 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2018, : 491 - 491
- [8] Synchronous programming of reactive systems - A tutorial and commented bibliography [J]. COMPUTER AIDED VERIFICATION, 1998, 1427 : 1 - 16
- [9] Integer Linear Programming in Computational and Systems Biology: Tutorial [J]. ACM-BCB'19: PROCEEDINGS OF THE 10TH ACM INTERNATIONAL CONFERENCE ON BIOINFORMATICS, COMPUTATIONAL BIOLOGY AND HEALTH INFORMATICS, 2019, : 560 - 560
- [10] Selecting the Best Object-Oriented Programming Language for Developing Distributed Computing Systems [J]. 2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND SYSTEMS (ICCES 2009), 2009, : 440 - 446