Skip header Section
Skip Bibliometrics Section
Principles of Concurrent ProgrammingAugust 1982
- Author:
- M. Ben-Ari
Abstract
No abstract available.
Cited By
- Foteinos P and Chrisochoides N (2014). High quality real-time Image-to-Mesh conversion for finite element simulations, Journal of Parallel and Distributed Computing, 74:2, (2123-2140), Online publication date: 1-Feb-2014.
- Banach R, Jeske C, Hall A and Stepney S (2013). Atomicity failure and the retrenchment atomicity pattern, Formal Aspects of Computing, 25:3, (439-464), Online publication date: 1-May-2013.
- Burckhardt S and Musuvathi M Effective Program Verification for Relaxed Memory Models Proceedings of the 20th international conference on Computer Aided Verification, (107-120)
Rasche A, Schult W and Polze A Self-adaptive multithreaded applications Proceedings of the 4th workshop on Reflective and adaptive middleware systems- Buhr P and Harji A (2005). Implicit-signal monitors, ACM Transactions on Programming Languages and Systems (TOPLAS), 27:6, (1270-1343), Online publication date: 1-Nov-2005.
- Duan Z and Koutny M (2004). A framed temporal logic programming language, Journal of Computer Science and Technology, 19:3, (341-351), Online publication date: 1-May-2004.
- Alagarsamy K (2003). Some myths about famous mutual exclusion algorithms, ACM SIGACT News, 34:3, (94-103), Online publication date: 1-Sep-2003.
- Barros J Specific proposals for the use of petri nets in a concurrent programming course Proceedings of the 7th annual conference on Innovation and technology in computer science education, (165-167)
- Barros J (2002). Specific proposals for the use of petri nets in a concurrent programming course, ACM SIGCSE Bulletin, 34:3, (165-167), Online publication date: 1-Sep-2002.
- Godefroid P and Long D (1999). Symbolic Protocol Verification with Queue BDDs, Formal Methods in System Design, 14:3, (257-271), Online publication date: 1-May-1999.
- Thomas D, Paul J, Peffers S and Weber S Peer-based multithreaded executable co-specification Proceedings of the seventh international workshop on Hardware/software codesign, (105-109)
- Sreenivas R (1997). On Supervisory Policies that Enforce Global Fairness andBounded Fairness in Partially Controlled Petri Nets, Discrete Event Dynamic Systems, 7:2, (191-208), Online publication date: 1-Apr-1997.
- Jiménez-Peris R, Pareja-Flores C, Patiño-Martínez M and Velázquez-Iturbide J The locker metaphor to teach dynamic memory Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education, (169-173)
- Jiménez-Peris R, Pareja-Flores C, Patiño-Martínez M and Velázquez-Iturbide J (1997). The locker metaphor to teach dynamic memory, ACM SIGCSE Bulletin, 29:1, (169-173), Online publication date: 1-Mar-1997.
- Hansen P Monitors and Concurrent Pascal History of programming languages---II, (121-172)
- Allen R, Grant D and Smith R Using Ada as the First Programming Language Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
- Santos A (1993). Cooperative hypermedia editing with CoMEdiA, Journal of Computer Science and Technology, 8:3, (257-269), Online publication date: 1-Jul-1993.
- Thomas L A generic object-oriented concurrency mechanism for extensibility and reuse of synchronization components Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, (1091-1097)
- Jackson D A mini-course on concurrency Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, (92-96)
- Higginbotham C and Morelli R A system for teaching concurrent programming Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, (309-316)
- Jackson D (1991). A mini-course on concurrency, ACM SIGCSE Bulletin, 23:1, (92-96), Online publication date: 1-Mar-1991.
- Higginbotham C and Morelli R (1991). A system for teaching concurrent programming, ACM SIGCSE Bulletin, 23:1, (309-316), Online publication date: 1-Mar-1991.
- Di Santo M and Russo W (1991). The ensemble system, ACM SIGPLAN Notices, 26:2, (99-108), Online publication date: 2-Jan-1991.
- Maris J and Schroeder C Precursor for parallel development Proceedings of the 19th annual conference on Computer Science, (85-93)
- Schott K A dual-algorithm performance monitoring system (abstract) Proceedings of the 1990 ACM annual conference on Cooperation
- Davies G (1990). Teaching concurrent programming with Pascal-FC, ACM SIGCSE Bulletin, 22:2, (38-41), Online publication date: 1-Jun-1990.
- Jipping M, Toppen J and Weeber S (1990). Concurrent distributed Pascal, ACM SIGCSE Bulletin, 22:1, (94-99), Online publication date: 1-Feb-1990.
- Feldman M, Lopes A and Perez M (1990). SMALL-Ada, ACM SIGCSE Bulletin, 22:1, (206-211), Online publication date: 1-Feb-1990.
- Jipping M, Toppen J and Weeber S Concurrent distributed Pascal Proceedings of the twenty-first SIGCSE technical symposium on Computer science education, (94-99)
- Feldman M, Lopes A and Perez M SMALL-Ada Proceedings of the twenty-first SIGCSE technical symposium on Computer science education, (206-211)
- Rudolph B (1990). Self-assessment procedure XXI: a self-assessment procedure on concurrency, Communications of the ACM, 33:5, (563-576), Online publication date: 1-May-1990.
- Jones D (1989). Concurrent operations on priority queues, Communications of the ACM, 32:1, (132-137), Online publication date: 1-Jan-1989.
- Silver J Concurrent programming in an upper level operating systems course Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (217-221)
- Silver J (1989). Concurrent programming in an upper level operating systems course, ACM SIGCSE Bulletin, 21:1, (217-221), Online publication date: 1-Feb-1989.
- Schweller K (1989). Scheduling concurrent procedures using modula-2, ACM SIGCSE Bulletin, 21:2, (51-56), Online publication date: 1-Jun-1989.
- Rabbie H and Nelson-Gal D An operating system for real-time Ada Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, (490-497)
- Burns A and Davies G (1988). Pascal-FC: a language for teaching concurrent programming, ACM SIGPLAN Notices, 23:1, (58-66), Online publication date: 3-Jan-1988.
- Sewry D (1988). Process scheduling in Modula-2, ACM SIGPLAN Notices, 23:12, (95-97), Online publication date: 1-Dec-1988.
- Boddy D (1988). SOS: a monitor-based operating system for instruction, ACM SIGPLAN Notices, 23:12, (115-124), Online publication date: 1-Dec-1988.
- Salmon J, Callahan S, Flower J and Kolawa A Moose: a multi-tasking operating system of hypercubes Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1, (391-396)
- Dobbs V (1987). A comparison of concurrent languages: a class project, ACM SIGCSE Bulletin, 19:1, (62-66), Online publication date: 1-Feb-1987.
- Olagunju A and Borders E (1987). Using emulators as vehicles for instruction in systems programming: prospective consideration, ACM SIGCSE Bulletin, 19:1, (132-135), Online publication date: 1-Feb-1987.
- Dobbs V A comparison of concurrent languages: a class project Proceedings of the eighteenth SIGCSE technical symposium on Computer science education, (62-66)
- Olagunju A and Borders E Using emulators as vehicles for instruction in systems programming: prospective consideration Proceedings of the eighteenth SIGCSE technical symposium on Computer science education, (132-135)
- Olangunju A and Borders E (1986). Emulators, ACM SIGMICRO Newsletter, 17:3, (20-24), Online publication date: 1-Dec-1986.
- Rodgers D (1985). Improvements in multiprocessor system design, ACM SIGARCH Computer Architecture News, 13:3, (225-231), Online publication date: 1-Jun-1985.
- Terry P (1985). CLANG - a simple teaching language, ACM SIGPLAN Notices, 20:12, (54-63), Online publication date: 1-Dec-1985.
- Lees B (1985). Introductory concurrent programming with Modula-2, ACM SIGCSE Bulletin, 17:3, (34-41), Online publication date: 1-Sep-1985.
- Rodgers D Improvements in multiprocessor system design Proceedings of the 12th annual international symposium on Computer architecture, (225-231)
- Pramanik S and Weinberg B (1984). The implementation kit with monitors, ACM SIGPLAN Notices, 19:9, (30-33), Online publication date: 1-Sep-1984.
- Phillips S and Stevenson P (1984). The role of Ada in real time embedded applications, ACM SIGAda Ada Letters, III:4, (99-111), Online publication date: 1-Jan-1984.
- Hansen P (1983). Using personal computers in operating system courses, ACM SIGOPS Operating Systems Review, 17:3, (41-44), Online publication date: 1-Jul-1983.
Index Terms
- Principles of Concurrent Programming
Recommendations
Type-theoretic foundations for concurrent object-oriented programing
A number of attempts have been made to obtain type systems for object-oriented programming. The view that lies common is “object-oriented programming = λ-calculus + record.” Based on an analogous view “concurrent object-oriented programming = concurrent ...
Concurrent object-oriented programming in Classic-Ada
Although Ada supports concurrency and can thus be used as a concurrent programming language, it is not generally considered to be an object-oriented programming language. Classic-Ada is a preprocessor which adds the concepts of classes, inheritance, and ...
Type-theoretic foundations for concurrent object-oriented programing
OOPSLA '94: Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applicationsA number of attempts have been made to obtain type systems for object-oriented programming. The view that lies common is “object-oriented programming = λ-calculus + record.” Based on an analogous view “concurrent object-oriented programming = concurrent ...