MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Luca Aceto" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 73 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Fixed Points in Computer Science  
  • by Esik Ing Olfsd, Copyright C, Zoltán Ésik, Zoltán Ésik, Anna Ingólfsdóttir, Anna Ingólfsdóttir, Frederico De Marchi, U Leicester
  • …-monoidal categories 12 6. Luca Aceto, Aalborg U, Denmark (Invited talk) Kleene through the process algebraic glass 20…
  • Add To MetaCart
  • March 1999. 21 pp. Appears in Mendelzon, editor,  
  • by Eighth International World, Klaus Havelund, Kim G. Larsen, Arne Skou, Formal Verification, Rune B. Lyngs, Christian N. S. Pedersen, Henrik Nielsen Measures, Julian C. Bradfield, Perdita Stevens, Observational Mu-calculus, Sibylle B. Frschle, Thomas Troels Hildebr, T On Plain
  • …-24] Abstract, PostScript, PDF, DVI. Luca Aceto, Willem Jan Fokkink, and Chris Verhoef. Conservative Extension…
  • Add To MetaCart
  • Expressiveness in Concurrency  
  • by Aceto Panangaden Eds, Luca Aceto, Luca Aceto, Prakash Panangaden, Prakash Panangaden
  • … in Concurrency EXPRESS '01 Aalborg, Denmark, August 20, 2001 Luca Aceto Prakash Panangaden (editors) BRICS Notes…
  • Add To MetaCart
  • unknown title  
  • by Wan Fokkink, Anna Ingolfsdottir, Mohammadreza Mousavi
  • … Lifting Non-Finite Axiomatizability Results toExtensions of Process Algebras Luca Aceto, Wan…
  • Add To MetaCart
  • BRICS Research Series, 1998.  
  • by Brics, Mogens Nielsen, Christian N. S. Pedersen, Rune B. Lyngs, Jotun Hein Comparison — 1999
  • …Script, PDF, DVI. Luca Aceto, Patricia Bouyer, Augusto Burgueo, and Kim G. Larsen. The Power of Reachability…
  • Add To MetaCart
  • Bisimilarity is not Finitely Based over BPA with Interrupt  
  • by Anna Ingolfsdottir, Copyright C, Willem Jan Fokkink, Willem Jan Fokkink, Luca Aceto, Luca Aceto, Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain, Sumit Nain, Sumit Nain — 2004 — Theoretical Comput. Sci
  • … Basic Research in Computer Science Bisimilarity is not Finitely Based over BPA with Interrupt Luca Aceto…
  • Cited by 8 (5 self) – Add To MetaCart
  • Automata to Logic - and  
  • by Back January Pp, Gudmund Skovbjerg Fr, Thore Husfeldt, Peter Bro Miltersen
  • …Script, DVI. Luca Aceto and Anna Inglfsdttir. A Complete Equational Axiomatization for Prefix Iteration…
  • Add To MetaCart
  • BRICS Research Series, 1997  
  • by Brics, David A. Schmidt, Abstract Interpretation, Operational Semantics, Olivier Danvy, Mayer Goldberg, Partial Evaluation Euclidian, Jesper G. Henriksen — 1999
  • …, DVI. Luca Aceto and Anna Inglfsdttir. A Characterization of Finitary Bisimulation. October 1997. 9 pp…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB