|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
18 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A complete axiomatization of weighted branching bisimulation |
Jensen, Mathias Claus |
|
57 | 3-5 |
p. 689-725 |
article |
|
| 2 | A linear-time branching-time perspective on interface automata |
Vogler, Walter |
|
57 | 3-5 |
p. 513-550 |
article |
|
| 3 | All congruences below stability-preserving fair testing or CFFD |
Valmari, Antti |
|
57 | 3-5 |
p. 353-383 |
article |
|
| 4 | Arithmetical datatypes with true fractions |
Bergstra, Jan A. |
|
57 | 3-5 |
p. 385-402 |
article |
|
| 5 | Characteristic invariants in Hennessy–Milner logic |
Jasper, Marc |
|
57 | 3-5 |
p. 671-687 |
article |
|
| 6 | Congruence from the operator’s point of view |
Gazda, Maciej |
|
57 | 3-5 |
p. 329-351 |
article |
|
| 7 | Coupled similarity: the first 32 years |
Bisping, Benjamin |
|
57 | 3-5 |
p. 439-463 |
article |
|
| 8 | Minimal consistent DFA from sample strings |
Zhang, Chenyi |
|
57 | 3-5 |
p. 657-670 |
article |
|
| 9 | My time with Rob |
Pratt, Vaughan |
|
57 | 3-5 |
p. 321-322 |
article |
|
| 10 | Off-the-shelf automated analysis of liveness properties for just paths |
Bouwman, Mark |
|
57 | 3-5 |
p. 551-590 |
article |
|
| 11 | On the probabilistic bisimulation spectrum with silent moves |
Baier, Christel |
|
57 | 3-5 |
p. 465-512 |
article |
|
| 12 | Out for coffee: with Rob |
Fehnker, Ansgar |
|
57 | 3-5 |
p. 323-327 |
article |
|
| 13 | Preface |
Höfner, Peter |
|
57 | 3-5 |
p. 305-311 |
article |
|
| 14 | SMT-based generation of symbolic automata |
Qin, Xudong |
|
57 | 3-5 |
p. 627-656 |
article |
|
| 15 | Solving high-level Petri games |
Gieseking, Manuel |
|
57 | 3-5 |
p. 591-626 |
article |
|
| 16 | Synchronous and asynchronous communication(s) between three parties |
Goltz, Ursula |
|
57 | 3-5 |
p. 313-320 |
article |
|
| 17 | Transducer degrees: atoms, infima and suprema |
Endrullis, Jörg |
|
57 | 3-5 |
p. 727-758 |
article |
|
| 18 | Translating between models of concurrency |
Mestel, David |
|
57 | 3-5 |
p. 403-438 |
article |
18 results found