Works matching IS 09601295 AND DT 2019 AND VI 29 AND IP 1

Results: 7

Preface to special issue: ICTAC 2015.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 1, doi. 10.1017/S0960129518000130

By:

LEUCKER, MARTIN;
PÉREZ, JORGE A.;
RUEDA, CAMILO;
VALENCIA, FRANK D.

Publication type:

Article

Reasoning about knowledge and messages in asynchronous multi-agent systems.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 127, doi. 10.1017/S0960129517000214

By:

KNIGHT, SOPHIA;
MAUBERT, BASTIEN;
SCHWARZENTRUBER, FRANÇOIS

Publication type:

Article

Quotienting the delay monad by weak bisimilarity.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 67, doi. 10.1017/S0960129517000184

By:

CHAPMAN, JAMES;
UUSTALU, TARMO;
VELTRI, NICCOLÒ

Publication type:

Article

Converging from branching to linear metrics on Markov chains.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 3, doi. 10.1017/S0960129517000160

By:

BACCI, GIORGIO;
BACCI, GIOVANNI;
LARSEN, KIM G.;
MARDARE, RADU

Publication type:

Article

Newton series, coinductively: a comparative study of composition.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 38, doi. 10.1017/S0960129517000159

By:

BASOLD, HENNING;
HANSEN, HELLE HVID;
PIN, JEAN-ÉRIC;
RUTTEN, JAN

Publication type:

Article

Optimal enforcement of (timed) properties with uncontrollable events.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 169, doi. 10.1017/S0960129517000123

By:

RENARD, MATTHIEU;
FALCONE, YLIÈS;
ROLLET, ANTOINE;
JÉRON, THIERRY;
MARCHAND, HERVÉ

Publication type:

Article

A resource aware semantics for a focused intuitionistic calculus.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 93, doi. 10.1017/S0960129517000111

By:

KESNER, DELIA;
VENTURA, DANIEL

Publication type:

Article