Tampere University of Technology

TUTCRIS Research Portal

All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs

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

Details

Original languageEnglish
Title of host publicationCONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science
Place of PublicationBerlin
PublisherSpringer
Pages162-176
ISBN (Electronic)978-3-642-32940-1
ISBN (Print)978-3-642-32939-5
DOIs
Publication statusPublished - 2012
Publication typeA4 Article in a conference publication

Publication series

NameInternational Conference on Concurrency Theory
Volume7454
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Publication forum classification

Field of science, Statistics Finland