Works matching IS 18605974 AND DT 2020 AND VI 16 AND IP 4

Results: 7

FLAVIO CORRADINI.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:7)2020

By:

CORRADINI, FLAVIO;
MORICHETTA, ANDREA;
POLINI, ANDREA;
R. E., BARBARA;
TIEZZI, FRANCESCO

Publication type:

Article

FIELD-BASED COORDINATION WITH THE SHARE OPERATOR.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:1)2020

By:

AUDRITO, GIORGIO;
BEAL, JACOB;
DAMIANI, FERRUCCIO;
PIANINI, DANILO;
VIROLI, MIRKO

Publication type:

Article

EVERSING PLACE TRANSITION NETS.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:5)2020

By:

MELGRATTI, HERNÁAN;
MEZZINA, CLAUDIO ANTARES;
ULIDOWSKI, IREK

Publication type:

Article

VERIFICATION OF FLAT FIFO MACHIN.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:4)2020

By:

FINKEL, ALAIN;
PRAVEEN, M.

Publication type:

Article

OF CORES: A PARTIAL-EXPLORATION FRAMEWORK FOR MARKOV DECISION PROCESSES.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:3)2020

By:

KRETÍNSKÝ, JAN;
MEGGENDORFER, TOBIAS

Publication type:

Article

A FUNCTIONAL (MONADIC) SECOND-ORDER THEORY OF INFINITE TREES.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:6)2020

By:

DAS, ANUPAM;
RIBA, COLIN

Publication type:

Article

ON THE TERMINATION PROBLEM FOR PROBABILISTIC HIGHER-ORDER RECURSIVE PROGRAMS.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:2)2020

By:

NAOKI KOBAYASHI;
LAGO, UGO DAL;
GRELLOIS, CHARLES

Publication type:

Article