Tower Induction and Up-to Techniques for CCS with Fixed Points Chapter

authors

Schäfer, Steven

publication date

January 1, 2017

has subject area

published in

Lecture Notes in Computer Science

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-319-57418-9_17

start page

274

end page

289