| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Adriano Peron Massimo Franceschet , Angelo Montanari , Adriano Peron, Guido Sciavicco : Definability and decidability of binary predicates for time granularity. TIME 2003 : 192-202 Ruggero Lanotte , Andrea Maggiolo-Schettini , Adriano Peron, Simone Tini : Dynamic Hierarchical Machines. Fundam. Inform. 54 (2-3): 237-252 (2003) Andrea Maggiolo-Schettini , Adriano Peron, Simone Tini : A comparison of Statecharts step semantics. Theor. Comput. Sci. 290 (1): 465-498 (2003) Carlo Combi , Massimo Franceschet , Adriano Peron: A Logical Approach to Represent and Reason about Calendars. TIME 2002 : 134-140 Angelo Montanari , Adriano Peron, Alberto Policriti : Extending Kamp's Theorem to Model Time Granularity. J. Log. Comput. 12 (4): 641-677 (2002) Angelo Monti , Adriano Peron: Logical definability of Y-tree and trellis systolic omega-languages. Acta Cybern. 15 (1): 75-100 (2001) Ruggero Lanotte , Andrea Maggiolo-Schettini , Simone Tini , Adriano Peron: Transformations of Timed Cooperating Automata. Fundam. Inform. 47 (3-4): 271-282 (2001) Ruggero Lanotte , Andrea Maggiolo-Schettini , Adriano Peron: Timed Cooperating Automata. Fundam. Inform. 43 (1-4): 153-173 (2000) Angelo Montanari , Adriano Peron, Alberto Policriti : The Taming (Timing) of the States. Logic Journal of the IGPL 8 (5): (2000) Angelo Monti , Adriano Peron: Systolic tree omega-Languages: the operational and the logical view. Theor. Comput. Sci. 233 (1-2): 1-18 (2000) Angelo Montanari , Adriano Peron, Alberto Policriti : Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. Logic Journal of the IGPL 7 (1): 79-102 (1999) Angelo Monti , Adriano Peron: A Logical Characterization of Systolic Languages. STACS 1998 : 466-476 Andrea Maggiolo-Schettini , Adriano Peron, Simone Tini : Equivalences of Statecharts. CONCUR 1996 : 687-702 Andrea Maggiolo-Schettini , Adriano Peron: Retiming Techniques for Statecharts. FTRTFT 1996 : 55-71 Angelo Monti , Adriano Peron: Systolic Tree Omega-Languages. STACS 1995 : 131-142 Adriano Peron: Statecharts, Transition Structures and Transformations. TAPSOFT 1995 : 454-468 Adriano Peron, Andrea Maggiolo-Schettini : Transitions as Interrupts: A New Semantics for Timed Statecharts. TACS 1994 : 806-821 Andrea Maggiolo-Schettini , Adriano Peron: A Graph Rewriting Framework for Statecharts Semantics. TAGT 1994 : 107-121 Andrea Maggiolo-Schettini , Adriano Peron: Semantics of Full Statecharts Based on Graph Rewriting. Dagstuhl Seminar on Graph Transformations in Computer Science 1993 : 265-279 1 [ 16 ] 2 [ 16 ] [ 19 ] 3 [ 12 ] [ 13 ] [ 18 ] 4 [ 1 ] [ 2 ] [ 3 ] [ 6 ] [ 7 ] [ 12 ] [ 13 ] [ 17 ] [ 18 ] 5 [ 9 ] [ 11 ] [ 15 ] [ 19 ] 6 [ 5 ] [ 8 ] [ 10 ] [ 14 ] 7 [ 9 ] [ 11 ] [ 15 ] 8 [ 19 ] 9 [ 7 ] [ 13 ] [ 17 ] [ 18 ]  ©2004 Association for Computing Machinery |
