Works matching IS 00015903 AND DT 2020 AND VI 57 AND IP 3-5

Results: 18

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:

Baier, Christel;
D'Argenio, Pedro R.;
Hermanns, Holger

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:

Zhang, Chenyi

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:

Jasper, Marc;
Schlüter, Maximilian;
Steffen, Bernhard

Publication type:

Article

Preface.

Published in:

2020

By:

Höfner, Peter;
Morgan, Carroll;
Pratt, Vaughan

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:

Goltz, Ursula;
Schicke-Uffmann, Jens-W.

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:

Pratt, Vaughan

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:

Jensen, Mathias Claus;
Larsen, Kim Guldstrand

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:

Fehnker, Ansgar

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:

Qin, Xudong;
Bliudze, Simon;
Madelaine, Eric;
Hou, Zechen;
Deng, Yuxin;
Zhang, Min

Publication type:

Article

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:

Mestel, David;
Roscoe, A. W.

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:

Bouwman, Mark;
Luttik, Bas;
Willemse, Tim

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:

Endrullis, Jörg;
Klop, Jan Willem;
Bakhshi, Rena

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:

Vogler, Walter;
Lüttgen, Gerald

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:

Gieseking, Manuel;
Olderog, Ernst-Rüdiger;
Würdemann, Nick

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:

Valmari, Antti

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:

Bisping, Benjamin;
Nestmann, Uwe;
Peters, Kirstin

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:

Gazda, Maciej;
Fokkink, Wan;
Massaro, Vittorio

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:

Bergstra, Jan A.;
Ponse, Alban

Publication type:

Article