Searching for authors named "Ana Sokolova" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Exemplaric Expressivity of Modal Logics ⋆
- …Exemplaric Expressivity of Modal Logics ⋆ Bart Jacobs 1 and Ana Sokolova 2⋆⋆ 1 Institute…
- Add To MetaCart
-
Generic trace theory
- …Abstract CMCS 2006 Generic Trace Theory Ichiro Hasuo Bart Jacobs Ana Sokolova Institute…
- Cited by 4 (3 self) – Add To MetaCart
-
The microcosm principle and concurrency in coalgebras, 2007. Preprint, available from http://www.cs.ru.nl/~ichiro/papers
- …,⋆ , and Ana Sokolova 2,⋆⋆ 1 Radboud University Nijmegen, the Netherlands 2 University of Salzburg, Austria 3…
- Cited by 4 (2 self) – Add To MetaCart
-
Generic trace semantics via coinduction
- …GENERIC TRACE SEMANTICS VIA COINDUCTION ICHIRO HASUO, BART JACOBS, AND ANA SOKOLOVA Institute…
- Cited by 1 (1 self) – Add To MetaCart
-
On Relational Properties of Lumpability
- … of Lumpability Ana Sokolova 1,∗ and Erik de Vink 1,2 1 Department of Mathematics and Computer Science TU/e, P…
- Cited by 1 (1 self) – Add To MetaCart
-
Weak Bisimulation for Action-Type Coalgebras
- …Preliminary Version Weak Bisimulation for Action-Type Coalgebras Abstract Ana Sokolova 1…
- Cited by 1 (1 self) – Add To MetaCart
-
A Hierarchy of Probabilistic System Types
- …, Amsterdam falk.bartels@(email omitted); Ana Sokolova 2 Department of Mathematics and Computer Science, TU/e, Eindhoven…
- Cited by 27 (6 self) – Add To MetaCart
-
A Compacting Real-Time Memory Management System
- … Payer Ana Sokolova Horst Stadler Robert Staudinger Department of Computer Sciences University…
- Add To MetaCart
Showing 1 through 8.
