M. G. Buscemi and U. Montanari. A first order coalgebraic model of #-calculus early observational equivalence. In Proc. CONCUR 2002, LNCS 2421, pages 449-- Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Some Characterization Results for Permutation Algebras - Gadducci, Miculan, Montanari Self-citation (Montanari) (Correct)
No context found.
Buscemi, M. and U. Montanari, A first order coalgebraic model of #-calculus early observational equivalence, in: P. Brim, L.and Jancar, M. Kretnsky and A. Kucera, editors, Concurrency Theory, Lect. Notes in Comp. Sci. 2421 (2002), pp. 449--465.
About Permutation Algebras and Sheaves (and Named Sets.. - Gadducci, Miculan.. (2003) Self-citation (Montanari) (Correct)
No context found.
M. Buscemi and U. Montanari, A first order coalgebraic model of #-calculus early observational equivalence, in: P. Brim, L.and Jancar, M. Kretnsky and A. Kucera, editors, Concurrency Theory, Lect. Notes in Comp. Sci. 2421 (2002), pp. 449--465.
Modeling Fresh Names in the π-calculus Using.. - Bruni, Honsell, Lenisa.. (2002) (Correct)
No context found.
M. G. Buscemi and U. Montanari. A first order coalgebraic model of #-calculus early observational equivalence. In Proc. CONCUR 2002, LNCS 2421, pages 449--
Modeling Fresh Names in the π-calculus Using Abstractions - Bruni, al. (2004) (Correct)
No context found.
M. G. Buscemi and U. Montanari. A first order coalgebraic model of #-calculus early observational equivalence. In Proc. CONCUR 2002.
Modeling Fresh Names in the π-calculus Using.. - Bruni, Honsell, Lenisa.. (Correct)
No context found.
M. G. Buscemi and U. Montanari. A first order coalgebraic model of #-calculus early observational equivalence. In Proc. CONCUR 2002, LNCS 2421, pages 449--
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC