Similarity Quotients as Final Coalgebras

Paul Levy; M Hoffman

doi:10.1007/978-3-642-19805-2_3

Similarity Quotients as Final Coalgebras

Paul Levy, M Hoffman

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

23 Citations (Scopus)

Original language	English
Title of host publication	Foundations of Software Science and Computational Structures
Subtitle of host publication	14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany. Proceedings
Editors	Martin Hofmann
Publisher	Springer
Pages	27-41
Number of pages	15
ISBN (Electronic)	978-3-642-19805-2
ISBN (Print)	978-3-642-19804-5
DOIs	https://doi.org/10.1007/978-3-642-19805-2_3
Publication status	Published - 1 Jan 2011

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	6604
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-19805-2_3

Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation
Levy, P.
Engineering & Physical Science Research Council
1/01/08 → 31/12/12
Project: Research Councils

Cite this

Levy, P., & Hoffman, M. (2011). Similarity Quotients as Final Coalgebras. In M. Hofmann (Ed.), Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany. Proceedings (pp. 27-41). (Lecture Notes in Computer Science; Vol. 6604). Springer. https://doi.org/10.1007/978-3-642-19805-2_3

Levy, Paul ; Hoffman, M. / Similarity Quotients as Final Coalgebras. Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany. Proceedings. editor / Martin Hofmann. Springer, 2011. pp. 27-41 (Lecture Notes in Computer Science).

@inproceedings{8459a9aa362e4adcbd0c611e1bba9249,

title = "Similarity Quotients as Final Coalgebras",

author = "Paul Levy and M Hoffman",

year = "2011",

month = jan,

day = "1",

doi = "10.1007/978-3-642-19805-2_3",

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "27--41",

editor = "Martin Hofmann",

booktitle = "Foundations of Software Science and Computational Structures",

}

Levy, P & Hoffman, M 2011, Similarity Quotients as Final Coalgebras. in M Hofmann (ed.), Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany. Proceedings. Lecture Notes in Computer Science, vol. 6604, Springer, pp. 27-41. https://doi.org/10.1007/978-3-642-19805-2_3

Similarity Quotients as Final Coalgebras. / Levy, Paul; Hoffman, M.
Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany. Proceedings. ed. / Martin Hofmann. Springer, 2011. p. 27-41 (Lecture Notes in Computer Science; Vol. 6604).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Similarity Quotients as Final Coalgebras

AU - Levy, Paul

AU - Hoffman, M

PY - 2011/1/1

Y1 - 2011/1/1

U2 - 10.1007/978-3-642-19805-2_3

DO - 10.1007/978-3-642-19805-2_3

M3 - Conference contribution

SN - 978-3-642-19804-5

T3 - Lecture Notes in Computer Science

SP - 27

EP - 41

BT - Foundations of Software Science and Computational Structures

A2 - Hofmann, Martin

PB - Springer

ER -

Levy P, Hoffman M. Similarity Quotients as Final Coalgebras. In Hofmann M, editor, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany. Proceedings. Springer. 2011. p. 27-41. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-19805-2_3

Similarity Quotients as Final Coalgebras

Publication series

Access to Document

Projects

Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation

Cite this