Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
  • Vora K, Gupta R and Xu G. (2017). KickStarter. ACM SIGPLAN Notices. 52:4. (237-251). Online publication date: 12-May-2017.

    https://doi.org/10.1145/3093336.3037748

  • Vora K, Tian C, Gupta R and Hu Z. (2017). CoRAL. ACM SIGPLAN Notices. 52:4. (223-236). Online publication date: 12-May-2017.

    https://doi.org/10.1145/3093336.3037747

  • Powers B, Vilk J and Berger E. (2017). Browsix. ACM SIGPLAN Notices. 52:4. (253-266). Online publication date: 12-May-2017.

    https://doi.org/10.1145/3093336.3037727

  • Buhr P. (2016). High-Level Concurrency Constructs. Understanding Control Flow. 10.1007/978-3-319-25703-7_9. (425-522).

    http://link.springer.com/10.1007/978-3-319-25703-7_9

  • Skyrme A, Rodriguez N and Ierusalimschy R. (2014). A survey of support for structured communication in concurrency control models. Journal of Parallel and Distributed Computing. 74:4. (2266-2285). Online publication date: 1-Apr-2014.

    https://doi.org/10.1016/j.jpdc.2013.11.005

  • Hung W and Garg V. (2013). AutoSynch. ACM SIGPLAN Notices. 48:6. (253-262). Online publication date: 23-Jun-2013.

    https://doi.org/10.1145/2499370.2462175

  • Hung W and Garg V. AutoSynch. Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. (253-262).

    https://doi.org/10.1145/2491956.2462175

  • Scott M. (2013). Shared-Memory Synchronization. Synthesis Lectures on Computer Architecture. 10.2200/S00499ED1V01Y201304CAC023. 8:2. (1-221). Online publication date: 12-Jun-2013.

    http://www.morganclaypool.com/doi/abs/10.2200/S00499ED1V01Y201304CAC023

  • (2009). Bibliography. Programming Language Pragmatics. 10.1016/B978-0-12-374514-9.00002-1. (849-865).

    https://linkinghub.elsevier.com/retrieve/pii/B9780123745149000021

  • Kaiser C, Pajault C and Pradat-Peyre J. Concurrent Program Metrics Drawn by Quasar. Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies. (101-114).

    https://doi.org/10.1007/978-3-540-68624-8_8

  • Barsotti D and Blanco J. Automatic refinement of split binary semaphore. Proceedings of the 4th international conference on Theoretical aspects of computing. (64-78).

    /doi/10.5555/1777259.1777264

  • Barsotti D and Blanco J. Automatic Refinement of Split Binary Semaphore. Theoretical Aspects of Computing – ICTAC 2007. 10.1007/978-3-540-75292-9_5. (64-78).

    http://link.springer.com/10.1007/978-3-540-75292-9_5

  • . K and . P. (2006). A Survey of Concurrent Object-oriented Languages (Cools). Information Technology Journal. 10.3923/itj.2006.601.611. 5:3. (601-611). Online publication date: 1-Mar-2006.

    http://www.scialert.net/abstract/?doi=itj.2006.601.611

  • Buhr P and Harji A. (2005). Implicit-signal monitors. ACM Transactions on Programming Languages and Systems. 27:6. (1270-1343). Online publication date: 1-Nov-2005.

    https://doi.org/10.1145/1108970.1108975

  • Hansen P. The invention of concurrent programming. The origin of concurrent programming. (3-61).

    /doi/10.5555/762971.762973

  • Loh G. (2001). A time-stamping algorithm for efficient performance estimation of superscalar processors. ACM SIGMETRICS Performance Evaluation Review. 29:1. (72-81). Online publication date: 1-Jun-2001.

    https://doi.org/10.1145/384268.378437

  • Jones M and Saroiu S. (2001). Predictability requirements of a soft modem. ACM SIGMETRICS Performance Evaluation Review. 29:1. (37-49). Online publication date: 1-Jun-2001.

    https://doi.org/10.1145/384268.378427

  • Hansen P. (2001). The Invention of Concurrent Programming. The Origin of Concurrent Programming. 10.1007/978-1-4757-3472-0_1. (3-61).

    https://link.springer.com/10.1007/978-1-4757-3472-0_1

  • Philippsen M. (2000). A survey of concurrent object-oriented languages. Concurrency: Practice and Experience. 10.1002/1096-9128(20000825)12:10<917::AID-CPE517>3.0.CO;2-F. 12:10. (917-980). Online publication date: 25-Aug-2000.

    https://onlinelibrary.wiley.com/doi/10.1002/1096-9128(20000825)12:10<917::AID-CPE517>3.0.CO;2-F

  • Hansen P. Monitors and Concurrent Pascal. History of programming languages---II. (121-172).

    https://doi.org/10.1145/234286.1057814

  • Buhr P, Fortier M and Coffin M. (1995). Monitor classification. ACM Computing Surveys. 27:1. (63-107). Online publication date: 1-Mar-1995.

    https://doi.org/10.1145/214037.214100

  • Hansen P. Monitors and concurrent Pascal. The second ACM SIGPLAN conference on History of programming languages. (1-35).

    https://doi.org/10.1145/154766.155361

  • Hansen P. (1993). Monitors and concurrent Pascal. ACM SIGPLAN Notices. 28:3. (1-35). Online publication date: 1-Mar-1993.

    https://doi.org/10.1145/155360.155361

  • Reynolds C. (1990). Signalling regions: multiprocessing in a shared memory reconsidered. Software—Practice & Experience. 20:4. (325-356). Online publication date: 1-Apr-1990.

    https://doi.org/10.1002/spe.4380200402

  • Andrews G and Schneider F. (1990). Concepts and notations for concurrent programming**Reprinted from: ACM Computing Surveys, 15(1), March 1983 with permission of the Association for Computing Machinery Inc.. Distributed Computer Systems. 10.1016/B978-0-408-02938-4.50007-3. (29-84).

    https://linkinghub.elsevier.com/retrieve/pii/B9780408029384500073

  • Shyamsundar R and Thatcher J. (1989). Language Constructs for Specifying Concurrency in CDL. IEEE Transactions on Software Engineering. 15:8. (977-993). Online publication date: 1-Aug-1989.

    https://doi.org/10.1109/32.31354

  • Jackson J and Roske-Hofstrand R. (1989). Circling: a method of mouse-based selection without button presses. ACM SIGCHI Bulletin. 20:SI. (161-166). Online publication date: 1-Mar-1989.

    https://doi.org/10.1145/67450.67483

  • DeSoi J, Lively W and Sheppard S. (1989). Graphical specification of user interfaces with behavior abstraction. ACM SIGCHI Bulletin. 20:SI. (139-144). Online publication date: 1-Mar-1989.

    https://doi.org/10.1145/67450.67477

  • Singh G and Green M. (1989). A high-level user interface management system. ACM SIGCHI Bulletin. 20:SI. (133-138). Online publication date: 1-Mar-1989.

    https://doi.org/10.1145/67450.67476

  • Manheimer J, Burnett R and Wallers J. (1989). A case study of user interface management system development and application. ACM SIGCHI Bulletin. 20:SI. (127-132). Online publication date: 1-Mar-1989.

    https://doi.org/10.1145/67450.67475

  • Andrews T and Harris C. (1987). Combining language and database advances in an object-oriented development environment. ACM SIGPLAN Notices. 22:12. (430-440). Online publication date: 1-Dec-1987.

    https://doi.org/10.1145/38807.38847

  • Cox B and Schmucker K. (1987). Producer: A tool for translating Smalltalk-80 to Objective-C. ACM SIGPLAN Notices. 22:12. (423-429). Online publication date: 1-Dec-1987.

    https://doi.org/10.1145/38807.38846

  • Yokote Y and Tokoro M. (1987). Experience and evolution of concurrent Smalltalk. ACM SIGPLAN Notices. 22:12. (406-415). Online publication date: 1-Dec-1987.

    https://doi.org/10.1145/38807.38844

  • Bezivin J. (1987). Some experiments in object-oriented simulation. ACM SIGPLAN Notices. 22:12. (394-405). Online publication date: 1-Dec-1987.

    https://doi.org/10.1145/38807.38843

  • Bezivin J. Some experiments in object-oriented simulation. Conference proceedings on Object-oriented programming systems, languages and applications. (394-405).

    https://doi.org/10.1145/38765.38843

  • Diaz M. (1987). Applying Petri Net Based Models in the Design of Systems. Concurrency and Nets. 10.1007/978-3-642-72822-8_7. (23-67).

    http://www.springerlink.com/index/10.1007/978-3-642-72822-8_7

  • Whiddett D. (1986). Distributed programs: an overview of implementations. Microprocessors & Microsystems. 10:9. (475-484). Online publication date: 1-Nov-1986.

    https://doi.org/10.1016/0141-9331(86)90176-6

  • Woodside C, Montealegre R and Buhr R. (1984). A performance model for hardware/software issues in computer-aided design of protocol systems. ACM SIGCOMM Computer Communication Review. 14:2. (132-139). Online publication date: 1-Jun-1984.

    https://doi.org/10.1145/639624.802070

  • Cavalli A. (1984). A method of automatic proof for the specification and verification of protocols. ACM SIGCOMM Computer Communication Review. 14:2. (100-106). Online publication date: 1-Jun-1984.

    https://doi.org/10.1145/639624.802066

  • Karp R. (1984). Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic. ACM Transactions on Programming Languages and Systems. 6:2. (239-253). Online publication date: 1-Apr-1984.

    https://doi.org/10.1145/2993.357245

  • Silberschatz A. (1984). Cell. IEEE Transactions on Software Engineering. 10:2. (178-185). Online publication date: 1-Mar-1984.

    https://doi.org/10.1109/TSE.1984.5010220

  • Bahsoun H, Bétourné C and Féraud L. (1984). Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees. International Symposium on Programming. 10.1007/3-540-12925-1_24. (13-22).

    http://link.springer.com/10.1007/3-540-12925-1_24

  • Andrews G and Schneider F. (1983). Concepts and Notations for Concurrent Programming. ACM Computing Surveys. 15:1. (3-43). Online publication date: 1-Mar-1983.

    https://doi.org/10.1145/356901.356903

  • Kant K and Silberschatz A. (1982). On the generalized critical region construct. ACM SIGOPS Operating Systems Review. 16:3. (4-16). Online publication date: 1-Jul-1982.

    https://doi.org/10.1145/850723.850724

  • Earle R, Kieburtz R and Silberschatz A. (1981). Technical Correspondence. ACM Transactions on Programming Languages and Systems. 3:4. (533-536). Online publication date: 1-Oct-1981.

    https://doi.org/10.1145/357146.357545

  • Andrews G. (1981). Synchronizing Resources. ACM Transactions on Programming Languages and Systems. 3:4. (405-430). Online publication date: 1-Oct-1981.

    https://doi.org/10.1145/357146.357149

  • Silberschatz A. (1981). A note on the distributed program component cell. ACM SIGPLAN Notices. 16:7. (89-96). Online publication date: 1-Jul-1981.

    https://doi.org/10.1145/947864.947872

  • Bernstein A and Ensor J. (2006). A modula based language supporting hierarchical development and verification. Software: Practice and Experience. 10.1002/spe.4380110304. 11:3. (237-255). Online publication date: 1-Mar-1981.

    https://onlinelibrary.wiley.com/doi/10.1002/spe.4380110304

  • Silberschatz A. (1981). On the synchronization mechanism of the ADA language. ACM SIGPLAN Notices. 16:2. (96-103). Online publication date: 1-Feb-1981.

    https://doi.org/10.1145/954269.954283

  • Reghbati H and Hamacher V. Hardware support for concurrent programming in loosely coupled multiprocessors. Proceedings of the 5th annual symposium on Computer architecture. (195-201).

    https://doi.org/10.1145/800094.803048

  • Jacobsen T. (1978). Another view of coroutines. ACM SIGPLAN Notices. 13:4. (68-75). Online publication date: 1-Apr-1978.

    https://doi.org/10.1145/953411.953417

  • Silberschatz A. Serializability in multi-level monitor environments. Proceedings of the 1978 annual conference - Volume 2. (855-861).

    https://doi.org/10.1145/800178.810154

  • Lagally K. (1978). Synchronization in a layered system. Operating Systems. 10.1007/3-540-08755-9_7. (252-281).

    http://link.springer.com/10.1007/3-540-08755-9_7

  • Kessels J. (1977). A conceptual framework for a nonprocedural programming language. Communications of the ACM. 20:12. (906-913). Online publication date: 1-Dec-1977.

    https://doi.org/10.1145/359897.359900