Searching for authors named "Antti Valmari" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
A modern mathematical theory of cooperating state machines
- …Abstract 201 A Modern Mathematical Theory of Co-operating State Machines Antti Valmari Valmari…
- Cited by 1 (0 self) – Add To MetaCart
-
Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models
- … fax. +358-0-708 4441 email rkaivola@(email omitted); Antti Valmari Technical Research Centre of Finland…
- Cited by 5 (2 self) – Add To MetaCart
-
Compositional Failure-based Semantic Models for Basic Lotos
- … Models for Basic Lotos Antti Valmari 1 and Martti Tienari 2 1 Tampere University of Technology…
- Cited by 21 (2 self) – Add To MetaCart
-
The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear Temporal Logic
- …, Finland tel. +358-0-708 4163, fax. +358-0-708 4441 email rkaivola@(email omitted); Antti Valmari Technical…
- Cited by 20 (2 self) – Add To MetaCart
-
Stuttering-insensitive automata for onthe-fly detection of livelock properties
- … Henri Hansen 1 , Wojciech Penczek 2 , Antti Valmari 3 1,3 Tampere University of Technology, Institute…
- Cited by 3 (1 self) – Add To MetaCart
-
Improved Question-Guided Stubborn Set Methods for State Properties
- … and Antti Valmari 2 1 University of Aarhus, Department of Computer Science DK-8000 Aarhus C., DENMARK…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 6.
