| dc.contributor.author | HENNESSY, MATTHEW | |
| dc.date.accessioned | 2011-03-16T17:19:14Z | |
| dc.date.available | 2011-03-16T17:19:14Z | |
| dc.date.issued | 2008 | |
| dc.date.submitted | 2008 | en |
| dc.identifier.citation | Gerard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra., Concurrency, Graphs and Models, 5065/2008, 2008, 757-777 | en |
| dc.identifier.other | Y | |
| dc.description | PUBLISHED | en |
| dc.description.abstract | We recall some memories of the Esprit Basic Research Action
CEDISYS, a small, well-focussed and fruitful project which brought together
researchers at the meeting point of true concurrency and process
algebra, in the period 1988-1991. The project was initiated and effectively
animated by Ugo Montanari, a passionate and long-time advocate
of both these approaches to the semantics of concurrency. | en |
| dc.description.sponsorship | We would like to thank Luca Aceto, Rocco De Nicola and
the anonymous reviewer for helpful comments. European Community | en |
| dc.format.extent | 757-777 | en |
| dc.language.iso | en | en |
| dc.publisher | Springer | en |
| dc.relation.ispartofseries | Concurrency, Graphs and Models; | |
| dc.relation.ispartofseries | 5065/2008; | |
| dc.rights | Y | en |
| dc.subject | Computer science | en |
| dc.subject | Mathematics | en |
| dc.title | Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. | en |
| dc.type | Journal Article | en |
| dc.type.supercollection | scholarly_publications | en |
| dc.type.supercollection | refereed_publications | en |
| dc.identifier.peoplefinderurl | http://people.tcd.ie/mcbhenne | |
| dc.identifier.rssinternalid | 54166 | |
| dc.identifier.rssuri | http://www.springerlink.com/content/v83k77432g57ux21/fulltext.pdf | en |
| dc.identifier.uri | http://hdl.handle.net/2262/53336 | |
