共 50 条
- [2] Concurrent constraints in the fusion calculus AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 455 - 469
- [4] The concurrent objects calculus TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 381 - 386
- [8] GEOGRAPHICAL DISTRIBUTION OF URINARY CALCULUS BMJ-BRITISH MEDICAL JOURNAL, 1965, 1 (5447): : 1392 - +
- [9] A concurrent calculus with atomic transactions PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4421 : 48 - +
- [10] A filter model for concurrent λ-calculus SIAM JOURNAL ON COMPUTING, 1998, 27 (05) : 1376 - 1419