Results: 18
Translating between models of concurrency.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 403, doi. 10.1007/s00236-020-00372-9
- By:
- Publication type:
- Article
Transducer degrees: atoms, infima and suprema.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 727, doi. 10.1007/s00236-019-00353-7
- By:
- Publication type:
- Article
Arithmetical datatypes with true fractions.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 385, doi. 10.1007/s00236-019-00352-8
- By:
- Publication type:
- Article
A complete axiomatization of weighted branching bisimulation.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 689, doi. 10.1007/s00236-020-00375-6
- By:
- Publication type:
- Article
Off-the-shelf automated analysis of liveness properties for just paths.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 551, doi. 10.1007/s00236-020-00371-w
- By:
- Publication type:
- Article
Preface.
- Published in:
- 2020
- By:
- Publication type:
- Editorial
Synchronous and asynchronous communication(s) between three parties.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 313, doi. 10.1007/s00236-020-00381-8
- By:
- Publication type:
- Article
My time with Rob.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 321, doi. 10.1007/s00236-020-00380-9
- By:
- Publication type:
- Article
On the probabilistic bisimulation spectrum with silent moves.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 465, doi. 10.1007/s00236-020-00379-2
- By:
- Publication type:
- Article
Out for coffee: with Rob.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 323, doi. 10.1007/s00236-020-00378-3
- By:
- Publication type:
- Article
Characteristic invariants in Hennessy–Milner logic.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 671, doi. 10.1007/s00236-020-00376-5
- By:
- Publication type:
- Article
A linear-time branching-time perspective on interface automata.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 513, doi. 10.1007/s00236-020-00369-4
- By:
- Publication type:
- Article
SMT-based generation of symbolic automata.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 627, doi. 10.1007/s00236-020-00367-6
- By:
- Publication type:
- Article
Solving high-level Petri games.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 591, doi. 10.1007/s00236-020-00368-5
- By:
- Publication type:
- Article
Minimal consistent DFA from sample strings.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 657, doi. 10.1007/s00236-020-00365-8
- By:
- Publication type:
- Article
Coupled similarity: the first 32 years.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 439, doi. 10.1007/s00236-019-00356-4
- By:
- Publication type:
- Article
All congruences below stability-preserving fair testing or CFFD.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 353, doi. 10.1007/s00236-019-00364-4
- By:
- Publication type:
- Article
Congruence from the operator's point of view: Syntactic requirements on modal characterizations.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 329, doi. 10.1007/s00236-019-00355-5
- By:
- Publication type:
- Article