Programming Languages and Systems
Springer International Publishing
Chapter title |
Kripke Open Bisimulation
|
---|---|
Chapter number | 15 |
Book title |
Programming Languages and Systems
|
Published by |
Springer, Cham, November 2015
|
DOI | 10.1007/978-3-319-26529-2_15 |
Book ISBNs |
978-3-31-926528-5, 978-3-31-926529-2
|
Authors |
Guilhem Jaber, Nicolas Tabareau, Jaber, Guilhem, Tabareau, Nicolas |
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Other | 1 | 100% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 1 | 100% |