All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
| Original language | English |
|---|
| Title of host publication | CONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science |
|---|
| Place of Publication | Berlin |
|---|
| Publisher | Springer |
|---|
| Pages | 162-176 |
|---|
| ISBN (Electronic) | 978-3-642-32940-1 |
|---|
| ISBN (Print) | 978-3-642-32939-5 |
|---|
| DOIs | |
|---|
| Publication status | Published - 2012 |
|---|
| Publication type | A4 Article in a conference publication |
|---|
| Name | International Conference on Concurrency Theory |
|---|
| Volume | 7454 |
|---|
| ISSN (Print) | 0302-9743 |
|---|
| ISSN (Electronic) | 1611-3349 |
|---|
