Tampere University of Technology

TUTCRIS Research Portal

Weakest Congruence Results Concerning "Any-Lock"

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

Details

Original languageEnglish
Title of host publicationTheoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 2001, Proceedings
EditorsN. Kobayashi
PublisherSpringer
Pages400-419
Publication statusPublished - 2001
Publication typeA4 Article in a conference publication

Publication forum classification