Abstract / Description of output
The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred with the insight that tests expressed within the concurrent framework itself, based on a special ``success action'', yield equivalences that make only inarguable distinctions.
Original language | English |
---|---|
Title of host publication | Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings |
Editors | Rocco De Nicola |
Place of Publication | Heidelberg |
Publisher | Springer |
Pages | 363-378 |
Number of pages | 16 |
ISBN (Electronic) | 978-3-540-71316-6 |
ISBN (Print) | 978-3-540-71314-2 |
DOIs | |
Publication status | Published - 1 Apr 2007 |
Event | The 16th European Symposium on Programming, 2007 - Braga, Portugal Duration: 24 Mar 2007 → 1 Apr 2007 Conference number: 16 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Berlin, Heidelberg |
Volume | 4421 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Symposium
Symposium | The 16th European Symposium on Programming, 2007 |
---|---|
Abbreviated title | ESOP 2007 |
Country/Territory | Portugal |
City | Braga |
Period | 24/03/07 → 1/04/07 |