Tampere University of Technology

TUTCRIS Research Portal

Research group: MAT Computer Science and Applied Logics

Research unit: Research Group

Latest research outputs

  1. Published

    The Congruences Below Fair Testing with Initial Stability

    Valmari, A., 6 Feb 2017, 2016 16th International Conference on Application of Concurrency to System Design. IEEE, p. 25-34 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  2. Published

    Abstractions for transition systems with applications to stubborn sets

    Hansen, H., 1 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (eds.). Springer International Publishing, p. 104-123 20 p. (Lecture Notes in Computer Science; vol. 10160).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  3. Published

    More stubborn set methods for process algebras

    Valmari, A., 1 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (eds.). Springer International Publishing, p. 246-271 26 p. (Lecture Notes in Computer Science; vol. 10160).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

Publications per year

No data available

ID: 22945