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

Antti Valmari

doi:10.1007/978-3-642-32940-1_13

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

Antti Valmari

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

1 Citation (Scopus)

Translated title of the contribution	All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs
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	https://doi.org/10.1007/978-3-642-32940-1_13
Publication status	Published - 2012
Publication type	A4 Article in conference proceedings

Publication series

Name	International Conference on Concurrency Theory
Volume	7454
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Publication forum classification

Publication forum level 1

Access to Document

10.1007/978-3-642-32940-1_13

Cite this

Valmari, A. (2012). All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs. In CONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science (pp. 162-176). (International Conference on Concurrency Theory; Vol. 7454). Springer. https://doi.org/10.1007/978-3-642-32940-1_13

@inproceedings{4e853ceebb204dee9e894ba839f1b661,

title = "All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs",

author = "Antti Valmari",

note = "Ei UT-numeroa 21.9.2013<br/>Contribution: organisation=ohj,FACT1=1<br/>Publisher name: Springer",

year = "2012",

doi = "10.1007/978-3-642-32940-1_13",

language = "English",

isbn = "978-3-642-32939-5",

series = "International Conference on Concurrency Theory",

publisher = "Springer",

pages = "162--176",

booktitle = "CONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science",

}

Valmari, A 2012, All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs. in CONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science. International Conference on Concurrency Theory, vol. 7454, Springer, Berlin, pp. 162-176. https://doi.org/10.1007/978-3-642-32940-1_13

All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs. / Valmari, Antti.

CONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science. Berlin : Springer, 2012. p. 162-176 (International Conference on Concurrency Theory; Vol. 7454).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

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

AU - Valmari, Antti

N1 - Ei UT-numeroa 21.9.2013<br/>Contribution: organisation=ohj,FACT1=1<br/>Publisher name: Springer

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-32940-1_13

DO - 10.1007/978-3-642-32940-1_13

M3 - Conference contribution

SN - 978-3-642-32939-5

T3 - International Conference on Concurrency Theory

SP - 162

EP - 176

BT - CONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science

PB - Springer

CY - Berlin

ER -

Valmari A. All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs. In CONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science. Berlin: Springer. 2012. p. 162-176. (International Conference on Concurrency Theory). doi: 10.1007/978-3-642-32940-1_13