%0 Conference Paper %1 ELangActors %A Miller, Mark S. %A Tribble, E. Dean %A Shapiro, Jonathan %B Symposium on Trustworthy Global Computing %D 2005 %E Nicola, R. De %E Sangiorgi, D. %I Springer %K Actors Concurrency E %P 195--229 %R 10.1007/11580850_12 %T Concurrency Among Strangers: Programming in E as Plan Coordination %V 3705 %X Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. Plan coordination is the art of simultaneously enabling plans to cooperate, while avoiding hazards of destructive plan interference. For sequential computation within a single machine, object programming supports plan coordination well. For concurrent computation, this paper shows how hard it is to use locking to prevent plans from interfering without also destroying their ability to cooperate. ER -

@inproceedings{ELangActors, abstract = {Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. Plan coordination is the art of simultaneously enabling plans to cooperate, while avoiding hazards of destructive plan interference. For sequential computation within a single machine, object programming supports plan coordination well. For concurrent computation, this paper shows how hard it is to use locking to prevent plans from interfering without also destroying their ability to cooperate. ER -}, added-at = {2009-06-10T18:29:57.000+0200}, author = {Miller, Mark S. and Tribble, E. Dean and Shapiro, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/286b94d4552f9f011cb96a94e77f96bde/gron}, booktitle = {Symposium on Trustworthy Global Computing}, description = {SpringerLink - Book Chapter}, doi = {10.1007/11580850_12}, editor = {Nicola, R. De and Sangiorgi, D.}, interhash = {b6ad637f01a653f6794520aefbb81f15}, intrahash = {86b94d4552f9f011cb96a94e77f96bde}, keywords = {Actors Concurrency E}, month = {April}, pages = {195--229}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2013-08-01T18:24:26.000+0200}, title = {Concurrency Among Strangers: Programming in E as Plan Coordination}, volume = 3705, year = 2005 }