| Jos C.M. Baeten - 1991 - عدد الصفحات: 564
...Chandra and Z. Manna. The power of programming features. J. Computer Languages, 1:219-232, 1975. [6] FS de Boer, JN Kok, C. Palamidessi, and JJMM Rutten....Towards a paradigm for asynchronous communication. Technical Report RUU-CS-90-40, Department of Computer Science, University of Utrecht, 1990. A short... | |
| Lothar Budach - 1991 - عدد الصفحات: 444
...Comparative metric semantics for concurrent prolog. Theoretical Computer Science, 75:15-43, 1990. [dBKPROO] FS de Boer, JN Kok, C. Palamidessi, and JJMM Rutten....Towards a paradigm for asynchronous communication. Technical Report RUU-CS-90-40, Utrecht University, Utrecht, 1990. [dBP90] FS de Boer and C. Palamidessi.... | |
| Jan Vytopil - 1991 - عدد الصفحات: 636
...and failures in the algebra of communicating systems. SIAM J. Comp., 17(6):1134-1177, 1988. [BKPR91] FS de Boer, JN Kok, C. Palamidessi, and JJMM Rutten. The Failure of failures in a paradigm for asynchronous communication. In Proceedings of Concur '91, Amsterdam 1991. [dBP90]... | |
| S. Abramsky - 1991 - عدد الصفحات: 502
...eds.), Workshops in computing, Springer (1990), 38-60. [BoKPR91] FS de Boer, JN Kok, C. Palamidessi, JJMM Rutten, The failure of failures: towards a paradigm for asynchronous communication, Report, CS-R91.., CWI, to appear. [Br91] F. van Breugel, Comparative semantics for a real-time programming... | |
| Jacobus Willem Bakker, J. J. M. M. Rutten, Amsterdam Concurrency Group - 1992 - عدد الصفحات: 466
...Leicester, Workshops in Computing, pages 38-60. Springer- Verlag, 1990. To appear in TCS. [dBKPR91a] FS de Boer, JN Kok, C. Palamidessi, and JJMM Rutten. The failure of failures in a paradigm for asynchronous communication. In JCM Baeten and JF Groóte, editors, Proceedings of... | |
| Egon Börger - 1993 - عدد الصفحات: 456
...5. G. Boudol and I. Cutellani. Concurrency and atomicity. Theoretical Computer Science, 59, 1988. 6. FS de Boer, JN Kok, C. Palamidessi, and JJMM Rutten. The failure of failures in a paradigm for asynchronous communication. In Proc. Concur '91, LNCS 527. Springer- Verlag, Berlin,... | |
| 1994 - عدد الصفحات: 494
...semantics. In Mathematics and Computer Science II, CWI Monographs, pp. 61 - 94. North-Holland. 1986. [6] FS de Boer, JN Kok, C. Palamidessi, and JJMM Rutten....'91, Lecture Notes in Computer Science, Vol. 527, Amsterdam, The Netherlands, August 1991. [7] FS de Boer and C. Palamidessi. A Fully Abstract Model... | |
| Bengt Jonsson, Joachim Parrow - 1996 - عدد الصفحات: 500
...Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94), pages 282-302. [BKPR] FS de Boer, JN Kok, C. Palamidessi, and JJMM Rutten,...Asynchronous Communication. In Proceedings of Concur '91, LNCS 527:111-126, Amsterdam, The Netherlands, 1991. [CAM] L. Chen, S. Anderson and F. Moller, A Timed... | |
| Franck van Breugel - 1998 - عدد الصفحات: 246
...Lecture Notes in Computer Science, pages 51-121, Noordwijkerhout, June 1985. Springer- Verlag. [BKPR91] FS de Boer, JN Kok, C. Palamidessi, and JJMM Rutten. The Failure of Failures in a Paradigm for Asynchronous Communication. In JCM Baeten and JF Groote, editors, Proceedings of... | |
| |