Searching for authors named "Adriano Peron" – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
Statecharts, Transition Structures and Transformations
- …Statecharts, Transition Structures and Transformations ? Adriano Peron Dipartimento di Matematica…
- Cited by 2 (0 self) – Add To MetaCart
-
Systolic Tree omega-Languages: The Operational and the Logical View
- …Systolic Tree !-Languages: The Operational and the Logical View Angelo Monti 1 and Adriano Peron…
- Add To MetaCart
-
Systolic Tree omega-Languages
- …Systolic Tree !-Languages Angelo Monti 1 and Adriano Peron 2 1 Dipartimento Scienze dell…
- Add To MetaCart
-
Logical definability of Y-tree and trellis systolic omega-languages
- …Logical definability of Y-tree and trellis systolic !-languages ? Angelo Monti 1 and Adriano…
- Add To MetaCart
-
The Taming (Timing) of the States
- …, Universita di Udine, Via delle Scienze 206, 33100 Udine, Italy, E-mail: montana@(email omitted); ADRIANO PERON…
- Cited by 7 (7 self) – Add To MetaCart
-
A Logical Characterization of Systolic Languages
- …A Logical Characterization of Systolic Languages Angelo Monti 1 and Adriano Peron 2 1…
- Cited by 3 (3 self) – Add To MetaCart
-
Transitions as Interrupts: A New Semantics for Timed Statecharts
- …Transitions as Interrupts: A New Semantics for Timed Statecharts ? Adriano Peron 1 and Andrea…
- Add To MetaCart
-
Decidable Theories of omega-Layered Metric Temporal Structures
- …Decidable theories of !-layered metric temporal structures Angelo Montanari, Adriano Peron…
- Add To MetaCart
-
A Logical Approach to Represent and Reason about Calendars
- …, University ‘G. D’Annunzio’ of Pescara, Italy E-mail: francesc@(email omitted); Adriano Peron Department…
- Cited by 6 (3 self) – Add To MetaCart
-
Extending Kamp's Theorem to Model Time Granularity
- …@(email omitted); Adriano Peron, Dipartimento di Scienze Fisiche, Universita di Napoli Federico II, Via Cintia, 80126 Napoli…
- Cited by 5 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
