Works matching IS 00015903 AND DT 2015 AND VI 52 AND IP 2/3

Results: 8

On constructibility and unconstructibility of LTS operators from other LTS operators.

Published in:

Acta Informatica, 2015, v. 52, n. 2/3, p. 207, doi. 10.1007/s00236-015-0217-2

By:

Valmari, Antti

Publication type:

Article

Observable liveness of Petri nets.

Published in:

Acta Informatica, 2015, v. 52, n. 2/3, p. 153, doi. 10.1007/s00236-015-0218-1

By:

Desel, Jörg;
Kılınç, Görkem

Publication type:

Article

Refinement checking on parametric modal transition systems.

Published in:

Acta Informatica, 2015, v. 52, n. 2/3, p. 269, doi. 10.1007/s00236-015-0215-4

By:

Beneš, Nikola;
Křetínský, Jan;
Larsen, Kim;
Møller, Mikael;
Sickert, Salomon;
Srba, Jiří

Publication type:

Article

Modal algebra and Petri nets.

Published in:

Acta Informatica, 2015, v. 52, n. 2/3, p. 109, doi. 10.1007/s00236-015-0216-3

By:

Dang, Han-Hing;
Möller, Bernhard

Publication type:

Article

State space axioms for T-systems.

Published in:

Acta Informatica, 2015, v. 52, n. 2/3, p. 133, doi. 10.1007/s00236-015-0219-0

By:

Best, Eike;
Devillers, Raymond

Publication type:

Article

Moving from interface theories to assembly theories.

Published in:

Acta Informatica, 2015, v. 52, n. 2/3, p. 235, doi. 10.1007/s00236-015-0220-7

By:

Hennicker, Rolf;
Knapp, Alexander

Publication type:

Article

CCS: It's not fair!

Published in:

Acta Informatica, 2015, v. 52, n. 2/3, p. 175, doi. 10.1007/s00236-015-0221-6

By:

Glabbeek, Rob J.;
Höfner, Peter

Publication type:

Article

Special issue on 'Comprehending asynchrony in specification and analysis' dedicated to Walter Vogler on the occasion of his 60th birthday.

Published in:

Acta Informatica, 2015, v. 52, n. 2/3, p. 107, doi. 10.1007/s00236-015-0214-5

By:

Lüttgen, Gerald;
Corradini, Flavio

Publication type:

Article