| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
Rule formats for determinism and idempotence.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
Characteristic Formulae for Relations with Nested Fixed Points |
FICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir |
The Equational Theory of Weak Complete Simulation Semantics over BCCSP. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir |
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. |
Inf. Process. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol |
On the axiomatizability of priority II. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
SOS rule formats for zero and unit elements. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani |
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca |
FOCLASA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Mohammad Reza Mousavi (eds.) |
Proceedings First International Workshop on Process Algebra and Coordination |
PACO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
Axiomatizing GSOS with Predicates |
SOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino |
Graphical representation of covariant-contravariant modal formulae |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto |
The Concurrency Column. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
Rule Formats for Distributivity. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Decompositional Reasoning about the History of Parallel Processes. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino |
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Monika Henzinger, Jiri Sgall (eds.) |
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Monika Henzinger, Jiri Sgall (eds.) |
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir |
Axiomatizing Weak Ready Simulation Semantics over BCCSP. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack |
Sigma algebras in probabilistic epistemic dynamics. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Joshua Sack |
Resource bisimilarity and graded bisimilarity coincide. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Lifting non-finite axiomatizability results to extensions of process algebras. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
On Rule Formats for Zero and Unit Elements. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Pawel Sobocinski (eds.) |
Proceedings Seventh Workshop on Structural Operational Semantics |
SOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
A Rule Format for Unit Elements. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann |
Preface. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
Foreword: special issue in memory of Nadia Busi. |
Mathematical Structures in Computer Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Cecilia Magherini |
On the relations between B2V Ms and Runge-Kutta collocation methods. |
J. Computational Applied Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir |
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Joshua Sack |
Characteristic Formulae for Fixed-Point Semantics: A General Framework |
EXPRESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
Algebraic Properties for Free! |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
A finite equational base for CCS with left merge and communication merge. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
communication merge, finite equational base, left merge, concurrency, process algebra, CCS, parallel composition, handshaking, Bisimilarity |
| 1 | Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
Rule Formats for Determinism and Idempotence. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba |
Teaching Concurrency: Theory in Practice. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Silvio Capobianco, Anna Ingólfsdóttir, Bas Luttik |
The equational theory of prebisimilarity over basic CCS with divergence. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
On the expressibility of priority. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon |
Guest Editors' Foreword. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
Guest Editors' Foreword. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir |
On the axiomatisability of priority. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir |
A Cancellation Theorem for BCCSP. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Silvio Capobianco |
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann |
Applying Concurrency Research in Industry Report on a Strategic Workshop. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.) |
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games |
ICALP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.) |
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations |
ICALP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg |
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
Guest Editors' Foreword. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon |
Guest Editors' Foreword. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon |
Guest Editors' Foreword. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto |
Impossibility Results in the Equational Logic of Processes. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
Characteristic Formulae: From Automata to Logic. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
The Saga of the Axiomatization of Parallel Composition. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Impossibility Results for the Equational Theory of Timed CCS. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir |
Ready to Preorder: Get Your BCCSP Axiomatization for Free! |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain |
Bisimilarity is not finitely based over BPA with interrupt. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink |
The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Andrew D. Gordon |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
A Finite Equational Base for CCS with Left Merge and Communication Merge |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
A Finite Equational Base for CCS with Left Merge and Communication Merge. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir |
On the Axiomatizability of Priority. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir (eds.) |
Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings |
FoSSaCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Zoltán Ésik |
Guest editors' foreword: Process Algebra. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
CCS with Hennessy's merge has no finite-equational axiomatization. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. |
Logical Methods in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Irek Ulidowski |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
Finite Equational Bases in Process Algebra: Results and Open Questions. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain |
Bisimilarity Is Not Finitely Based over BPA with Interrupt. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink |
Guesteditors'introduction: Special issue on Structural Operational Semantics. |
J. Log. Algebr. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir |
Nested semantics over finite trees are equationally hard. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto |
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen |
The Complexity of Checking Consistency of Pedigree Information and Related Problems. |
J. Comput. Sci. Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir |
A note on an expressiveness hierarchy for multi-exit iteration. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen |
The power of reachability testing for timed automata. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
Equational theories of tropical semirings. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Giuseppe Longo, Björn Victor |
Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. |
Mathematical Structures in Computer Science |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto |
Some of My Favourite Results in Classic Process Algebra. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen |
The Complexity of Checking Consistency of Pedigree Information and Related Problems. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, François Laroussinie |
Is your model checker on time? On the complexity of model checking for timed modal logics. |
J. Log. Algebr. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
A Fully Equational Proof of Parikh's Theorem. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Prakash Panangaden |
Guest Editors' Foreword. |
Nord. J. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
Equational Axioms for Probabilistic Bisimilarity. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto |
Kleene through the process algebraic glass. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink |
Preface: Process Algebra. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Luca Aceto, Anna Ingólfsdóttir |
Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Prakash Panangaden |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Chris Verhoef |
Conservative Extension in Structural Operational Semantics. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir |
2-Nested Simulation Is Not Finitely Equationally Axiomatizable. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
Axiomatizing Tropical Semirings. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
relative axiomatizations, commutative idempotent weak semirings, tropical semirings, exponential time complexity, convexity, varieties, Equational logic, complete axiomatizations |
| 1 | Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen |
Characteristic formulae for timed automata. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Jan Friso Groote |
A Complete Equational Axiomatization for MPA with String Iteration. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Chris Verhoef |
Conservative Extension in Structural Operational Semantics. |
Bulletin of the EATCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, François Laroussinie |
Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
Testing Hennessy-Milner Logic with Recursion. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir |
A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces. |
Mathematical Structures in Computer Science |
1998 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen |
Model Checking via Reachability Testing for Timed Automata. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir |
A Cook's Tour of Equational Axiomatizations for Prefix Iteration. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen |
The Power of Reachability Testing for Timed Automata. |
FSTTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
A Characterization of Finitary Bisimulation. |
Inf. Process. Lett. |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")