The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luca Aceto: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luca Aceto, Rocco De Nicola, Alessandro Fantechi
    Testing Equivalences for Event Structures. [Citation Graph (0, 0)][DBLP]
    Mathematical Models for the Semantics of Parallelism, 1986, pp:1-20 [Conf]
  2. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
    Equational Axioms for Probabilistic Bisimilarity. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:239-253 [Conf]
  3. Luca Aceto, Anna Ingólfsdóttir
    An Equational Axiomatization of Observation Congruence for Prefix Iteration. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:195-209 [Conf]
  4. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    Finite Equational Bases in Process Algebra: Results and Open Questions. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:338-367 [Conf]
  5. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain
    Bisimilarity Is Not Finitely Based over BPA with Interrupt. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:52-66 [Conf]
  6. Luca Aceto
    Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:449-464 [Conf]
  7. Luca Aceto, Anna Ingólfsdóttir
    A Theory of Testing for ACP. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:78-95 [Conf]
  8. Luca Aceto, David Murphy
    On the Ill-Timed but Well-Caused. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:97-111 [Conf]
  9. Luca Aceto
    Kleene through the process algebraic glass. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:20-21 [Conf]
  10. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
    Axiomatizing Tropical Semirings. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:42-56 [Conf]
  11. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    A Cook's Tour of Equational Axiomatizations for Prefix Iteration. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:20-34 [Conf]
  12. Luca Aceto, Anna Ingólfsdóttir
    Testing Hennessy-Milner Logic with Recursion. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:41-55 [Conf]
  13. Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen
    The Power of Reachability Testing for Timed Automata. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:245-256 [Conf]
  14. Luca Aceto, Uffe Engberg
    Failures Semantics for a Simple Process Language with Refinement. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1991, pp:89-108 [Conf]
  15. Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir
    On the Axiomatizability of Priority. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:480-491 [Conf]
  16. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    A Finite Equational Base for CCS with Left Merge and Communication Merge. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:492-503 [Conf]
  17. Luca Aceto, Matthew Hennessy
    Adding Action Refinement to a Finite Process Algebra. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:506-519 [Conf]
  18. Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
    The Complexity of Checking Consistency of Pedigree Information and Related Problems. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:174-187 [Conf]
  19. Luca Aceto, Bard Bloom, Frits W. Vaandrager
    Turning SOS Rules into Equations [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:113-124 [Conf]
  20. Luca Aceto, Matthew Hennessy
    Towards Action-Refinement in Process Algebras [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:138-145 [Conf]
  21. Luca Aceto, François Laroussinie
    Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1999, pp:125-136 [Conf]
  22. Luca Aceto
    On Relating Concurency and Nondeterminism. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:376-402 [Conf]
  23. Luca Aceto, Matthew Hennessy
    Termination, Deadlock and Divergence. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:301-318 [Conf]
  24. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
    On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers. [Citation Graph (0, 0)][DBLP]
    STACS, 2000, pp:267-278 [Conf]
  25. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    2-Nested Simulation Is Not Finitely Equationally Axiomatizable. [Citation Graph (0, 0)][DBLP]
    STACS, 2001, pp:39-50 [Conf]
  26. Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen
    Model Checking via Reachability Testing for Timed Automata. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:263-280 [Conf]
  27. Luca Aceto
    Full Abstraction for Series-Parallel Pomsets. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:1-25 [Conf]
  28. Luca Aceto, Anna Ingólfsdóttir
    CPO Models for a Class of GSOS Languages. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:439-453 [Conf]
  29. Luca Aceto, David Murphy
    Timing and Causality in Process Algebra. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:4, pp:317-350 [Journal]
  30. Luca Aceto
    Some of My Favourite Results in Classic Process Algebra. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2003, v:81, n:, pp:90-108 [Journal]
  31. Luca Aceto, Wan Fokkink, Chris Verhoef
    Conservative Extension in Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1999, v:69, n:, pp:110-132 [Journal]
  32. Luca Aceto
    Nested Semantics over Finite Trees are Equationally Hard: Invited Talk. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:5-6 [Journal]
  33. Luca Aceto, Wan Fokkink, Irek Ulidowski
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:1, pp:1-0 [Journal]
  34. Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist
    Relating semantic models for the object calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  35. Luca Aceto, Prakash Panangaden
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
  36. Luca Aceto, Wan Fokkink
    The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:43-48 [Journal]
  37. Luca Aceto, Andrew D. Gordon
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:1-2 [Journal]
  38. Luca Aceto
    Impossibility Results in the Equational Logic of Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:169, n:, pp:3-6 [Journal]
  39. Luca Aceto
    A Static View of Localities. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:2, pp:201-222 [Journal]
  40. Luca Aceto
    History preserving, causal and mixed-ordering equivalence over stable event structures. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:17, n:4, pp:319-331 [Journal]
  41. Luca Aceto
    Relating distributed, temporal and causal observations of simple processes. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:17, n:4, pp:369-397 [Journal]
  42. Samson Abramsky, Luca Aceto, Anna Ingólfsdóttir
    Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:165, n:2, pp:119-122 [Journal]
  43. Luca Aceto, Bard Bloom, Frits W. Vaandrager
    Turning SOS Rules into Equations [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:111, n:1, pp:1-52 [Journal]
  44. Luca Aceto, Wan Fokkink
    An Equational Axiomatization for Multi-Exit Iteration. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:137, n:2, pp:121-158 [Journal]
  45. Luca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir
    Nested semantics over finite trees are equationally hard. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:191, n:2, pp:203-232 [Journal]
  46. Luca Aceto, Rob J. van Glabbeek, Wan Fokkink, Anna Ingólfsdóttir
    Axiomatizing Prefix Iteration with Silent Steps. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:127, n:1, pp:26-40 [Journal]
  47. Luca Aceto, Matthew Hennessy
    Towards Action-Refinement in Process Algebras [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:103, n:2, pp:204-269 [Journal]
  48. Luca Aceto, Matthew Hennessy
    Adding Action Refinement to a Finite Process Algebra [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:115, n:2, pp:179-247 [Journal]
  49. Luca Aceto, Anna Ingólfsdóttir
    CPO Models for Compact GSOS Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:129, n:2, pp:107-141 [Journal]
  50. Luca Aceto, Wan Fokkink
    Preface: Process Algebra. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:1- [Journal]
  51. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    A note on an expressiveness hierarchy for multi-exit iteration. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:87, n:1, pp:17-23 [Journal]
  52. Luca Aceto, Anna Ingólfsdóttir
    A Characterization of Finitary Bisimulation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1997, v:64, n:3, pp:127-134 [Journal]
  53. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
    A Fully Equational Proof of Parikh's Theorem. [Citation Graph (0, 0)][DBLP]
    ITA, 2002, v:36, n:2, pp:129-153 [Journal]
  54. Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen
    Characteristic formulae for timed automata. [Citation Graph (0, 0)][DBLP]
    ITA, 2000, v:34, n:6, pp:565-584 [Journal]
  55. Luca Aceto, Matthew Hennessy
    Termination, Deadlock, and Divergence. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1992, v:39, n:1, pp:147-187 [Journal]
  56. Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
    The Complexity of Checking Consistency of Pedigree Information and Related Problems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2004, v:19, n:1, pp:42-59 [Journal]
  57. Luca Aceto, Wan Fokkink
    Guesteditors'introduction: Special issue on Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:1-2 [Journal]
  58. Luca Aceto, François Laroussinie
    Is your model checker on time? On the complexity of model checking for timed modal logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:7-51 [Journal]
  59. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2005, v:1, n:1, pp:- [Journal]
  60. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1998, v:8, n:3, pp:193-230 [Journal]
  61. Luca Aceto, Giuseppe Longo, Björn Victor
    Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2003, v:13, n:4, pp:481-484 [Journal]
  62. Luca Aceto, Prakash Panangaden
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:1, pp:69- [Journal]
  63. Luca Aceto
    On "Axiomatising Finite Concurrent Processes". [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1994, v:23, n:4, pp:852-863 [Journal]
  64. Luca Aceto
    GSOS and Finite Labelled Transition Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:131, n:1, pp:181-195 [Journal]
  65. Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen
    The power of reachability testing for timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:300, n:1-3, pp:411-475 [Journal]
  66. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
    Equational theories of tropical semirings. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:3, n:298, pp:417-469 [Journal]
  67. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:209, n:1-2, pp:163-178 [Journal]
  68. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Zoltán Ésik
    Guest editors' foreword: Process Algebra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:335, n:2-3, pp:127-129 [Journal]
  69. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    CCS with Hennessy's merge has no finite-equational axiomatization. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:330, n:3, pp:377-405 [Journal]
  70. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain
    Bisimilarity is not finitely based over BPA with interrupt. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:1-2, pp:60-81 [Journal]
  71. Luca Aceto, Jan Friso Groote
    A Complete Equational Axiomatization for MPA with String Iteration. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:211, n:1-2, pp:339-374 [Journal]
  72. Luca Aceto, Alan Jeffrey
    A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:152, n:2, pp:251-268 [Journal]
  73. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    Ready to Preorder: Get Your BCCSP Axiomatization for Free! [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:65-79 [Conf]
  74. Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi
    Impossibility Results for the Equational Theory of Timed CCS. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:80-95 [Conf]
  75. Luca Aceto, Anna Ingólfsdóttir
    The Saga of the Axiomatization of Parallel Composition. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:2-16 [Conf]
  76. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  77. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    A Finite Equational Base for CCS with Left Merge and Communication Merge [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  78. Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:2, pp:119-120 [Journal]
  79. Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:1, pp:1-2 [Journal]
  80. Luca Aceto, Anna Ingólfsdóttir
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:73, n:1-2, pp:1- [Journal]

  81. Finite Equational Bases for Fragments of CCS with Restriction and Relabelling. [Citation Graph (, )][DBLP]


  82. Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. [Citation Graph (, )][DBLP]


  83. A Rule Format for Unit Elements. [Citation Graph (, )][DBLP]


  84. Teaching Concurrency: Theory in Practice. [Citation Graph (, )][DBLP]


  85. Rule Formats for Determinism and Idempotence. [Citation Graph (, )][DBLP]


  86. Characteristic Formulae for Fixed-Point Semantics: A General Framework [Citation Graph (, )][DBLP]


  87. A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages [Citation Graph (, )][DBLP]


  88. Proceedings Seventh Workshop on Structural Operational Semantics [Citation Graph (, )][DBLP]


Search in 0.164secs, Finished in 0.167secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002