No abstract available.
Cited By
- Jones C Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads Formal Methods. FM 2019 International Workshops, (54-72)
- Collinson M and Pym D (2009). Algebra and logic for resource-based systems modelling, Mathematical Structures in Computer Science, 19:5, (959-1027), Online publication date: 1-Oct-2009.
- Hindriks K and van Riemsdijk M A computational semantics for communicating rational agents based on mental models Proceedings of the 7th international conference on Programming multi-agent systems, (31-48)
- Meolic R, Kapus T and Brezočnik Z (2008). ACTLW - An action-based computation tree logic with unless operator, Information Sciences: an International Journal, 178:6, (1542-1557), Online publication date: 20-Mar-2008.
- Pym D and Tofts C (2007). Systems Modelling via Resources and Processes, Electronic Notes in Theoretical Computer Science (ENTCS), 172, (545-587), Online publication date: 1-Apr-2007.
- Tamma V, van Aart C, Moyaux T, Paurobally S, Lithgow-Smith B and Wooldridge M An ontological framework for dynamic coordination Proceedings of the 4th international conference on The Semantic Web, (638-652)
- Gouveia P and Ramos J (2004). Multi-Agent Systems Specification and Certification, Annals of Mathematics and Artificial Intelligence, 41:2-4, (301-338), Online publication date: 1-Aug-2004.
- Tikvati A, Ben-Ari M and Kolikant Y (2004). Virtual trees for the byzantine generals algorithm, ACM SIGCSE Bulletin, 36:1, (392-396), Online publication date: 1-Mar-2004.
- Tikvati A, Ben-Ari M and Kolikant Y Virtual trees for the byzantine generals algorithm Proceedings of the 35th SIGCSE technical symposium on Computer science education, (392-396)
- Tarafdar A and Garg V (2004). Predicate control, Journal of Parallel and Distributed Computing, 64:2, (219-237), Online publication date: 1-Feb-2004.
- Van Der Stok P and Janssen-Raemaekers A (2003). Real-Time Atomic Multicast Algorithms Implemented on a Shared Memory Multiprocessor, Real-Time Systems, 24:1, (55-91), Online publication date: 1-Jan-2003.
- Hemmendinger D Concurrent programming Encyclopedia of Computer Science, (439-445)
- Simpson D and Reeve J Deadlock free specification based on local process properties Proceedings of the 2003 international conference on Computational science: PartIII, (350-359)
- van der Heijden M, van Harten A, Ebben M, Saanen Y, Valentin E and Verbraeck A (2002). Using Simulation to Design an Automated Underground System for Transporting Freight Around Schiphol Airport, Interfaces, 32:4, (1-19), Online publication date: 1-Jul-2002.
- Versteegt C and Verbraeck A Real-time control Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (1659-1666)
- Strite D and Null L (2002). BACI debugger, Journal of Computing Sciences in Colleges, 17:4, (112-122), Online publication date: 1-Mar-2002.
- Behrends R and Stirewalt R The universe model Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, (20-29)
- Behrends R and Stirewalt R (2000). The universe model, ACM SIGSOFT Software Engineering Notes, 25:6, (20-29), Online publication date: 1-Nov-2000.
- Park S and Dill D (1999). An Executable Specification and Verifier for Relaxed Memory Order, IEEE Transactions on Computers, 48:2, (227-235), Online publication date: 1-Feb-1999.
- Wooldridge M and Jennings N (1999). Software Engineering with Agents, IEEE Internet Computing, 3:3, (20-27), Online publication date: 1-May-1999.
- Ben-Ari M and Kolikant Y Thinking parallel Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education, (13-16)
- Ben-Ari M and Silverman S DPLab Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education, (91-94)
- Lopes A Ada+SQL—an overview Proceedings of the 1999 annual ACM SIGAda international conference on Ada, (157-162)
- Lopes A (1999). Ada+SQL—an overview, ACM SIGAda Ada Letters, XIX:3, (157-162), Online publication date: 1-Sep-1999.
- Ben-Ari M and Kolikant Y (1999). Thinking parallel, ACM SIGCSE Bulletin, 31:3, (13-16), Online publication date: 1-Sep-1999.
- Ben-Ari M and Silverman S (1999). DPLab, ACM SIGCSE Bulletin, 31:3, (91-94), Online publication date: 1-Sep-1999.
- Kurtz B, Kim C and Alsabbagh J Parallel computing in the undergraduate curriculum Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (212-216)
- Kurtz B, Cai H, Plock C and Chen X A concurrency simulator designed for sophomore-level instruction Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (237-241)
- Hartley S “Alfonse, your Java is ready!” Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (247-251)
- Kurtz B, Kim C and Alsabbagh J (1998). Parallel computing in the undergraduate curriculum, ACM SIGCSE Bulletin, 30:1, (212-216), Online publication date: 1-Mar-1998.
- Kurtz B, Cai H, Plock C and Chen X (1998). A concurrency simulator designed for sophomore-level instruction, ACM SIGCSE Bulletin, 30:1, (237-241), Online publication date: 1-Mar-1998.
- Hartley S (1998). “Alfonse, your Java is ready!”, ACM SIGCSE Bulletin, 30:1, (247-251), Online publication date: 1-Mar-1998.
- Joung Y Asynchronous group mutual exclusion (extended abstract) Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, (51-60)
- Wooldridge M and Jennings N Pitfalls of agent-oriented development Proceedings of the second international conference on Autonomous agents, (385-391)
- Persky Y and Ben-Ari M Re-engineering a concurrency simulator Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education, (185-188)
- Tzruya Y and Ben-Ari M A portable implementation of the distributed systems annex in Java Proceedings of the 1998 annual ACM SIGAda international conference on Ada, (204-211)
- Persky Y and Ben-Ari M (1998). Re-engineering a concurrency simulator, ACM SIGCSE Bulletin, 30:3, (185-188), Online publication date: 1-Sep-1998.
- Tzruya Y and Ben-Ari M (1998). A portable implementation of the distributed systems annex in Java, ACM SIGAda Ada Letters, XVIII:6, (204-211), Online publication date: 1-Nov-1998.
- Ben-Ari M (1997). Distributed algorithms in Java, ACM SIGCSE Bulletin, 29:3, (62-64), Online publication date: 1-Sep-1997.
- Ben-Ari M Distributed algorithms in Java Proceedings of the 2nd conference on Integrating technology into computer science education, (62-64)
- Bynum B and Camp T After you, Alfonse Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, (170-174)
- Ben-Ari M Using inheritance to implement concurrency Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, (180-184)
- Bynum B and Camp T (1996). After you, Alfonse, ACM SIGCSE Bulletin, 28:1, (170-174), Online publication date: 1-Mar-1996.
- Ben-Ari M (1996). Using inheritance to implement concurrency, ACM SIGCSE Bulletin, 28:1, (180-184), Online publication date: 1-Mar-1996.
- Maclean S and Smith S (1995). Object-oriented programming for embedded systems, ACM SIGPLAN Notices, 30:9, (3-8), Online publication date: 1-Sep-1995.
- Velázquez-Iturbide J (1994). A methodology for monitor development in concurrent programs, ACM SIGCSE Bulletin, 26:3, (22-28), Online publication date: 1-Sep-1994.
- Yue K (1994). An undergraduate course in concurrent programming using Ada, ACM SIGCSE Bulletin, 26:4, (59-63), Online publication date: 1-Dec-1994.
- Oliver S Object oriented design and implementation of concurrent and real time systems in Ada Proceedings of the conference on TRI-Ada '94, (343-349)
- Banâtre J and Le Métayer D (1993). Programming by multiset transformation, Communications of the ACM, 36:1, (98-111), Online publication date: 1-Jan-1993.
- Hansen P Monitors and concurrent Pascal The second ACM SIGPLAN conference on History of programming languages, (1-35)
- Hansen P (1993). Monitors and concurrent Pascal, ACM SIGPLAN Notices, 28:3, (1-35), Online publication date: 1-Mar-1993.
- Meyer B (1993). Systematic concurrent object-oriented programming, Communications of the ACM, 36:9, (56-80), Online publication date: 1-Sep-1993.
- Newburn C, Huang A and Shen J Balancing Fine- and Medium-Grained Parallelism in Scheduling Loops for the XIMD Architecture Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, (39-52)
- Lutz R and Wong J (1992). Detecting Unsafe Error Recovery Schedules, IEEE Transactions on Software Engineering, 18:8, (749-760), Online publication date: 1-Aug-1992.
- Hilzer R (1992). Synchronization of the producer/consumer problem using semaphores, monitors, and the Ada rendezvous, ACM SIGOPS Operating Systems Review, 26:3, (31-39), Online publication date: 1-Jul-1992.
- McDonald C Teaching concurrency with Joyce and Linda Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, (46-52)
- Feldman M The portable dining philosophers Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, (276-280)
- McDonald C (1992). Teaching concurrency with Joyce and Linda, ACM SIGCSE Bulletin, 24:1, (46-52), Online publication date: 1-Mar-1992.
- Feldman M (1992). The portable dining philosophers, ACM SIGCSE Bulletin, 24:1, (276-280), Online publication date: 1-Mar-1992.
- Feldman M (1992). Ada experience in the undergraduate curriculum, Communications of the ACM, 35:11, (53-67), Online publication date: 1-Nov-1992.
- Hilzer R (1992). Concurrency with semaphores, ACM SIGCSE Bulletin, 24:3, (45-50), Online publication date: 1-Sep-1992.
- Ashenhurst R (1991). ACM forum, Communications of the ACM, 34:2, (19-21), Online publication date: 1-Feb-1991.
- Hoepner P (1991). Synchronizing the presentation of multimedia objects-ODA extensions-, ACM SIGOIS Bulletin, 12:1, (19-32), Online publication date: 1-Jul-1991.
- Hand T Challenges for future real-time operating systems Proceedings of the second and third annual workshops on Forth, (13-16)
- Lamport L (1991). The mutual exclusion problem has been solved, Communications of the ACM, 34:1, (110-ff.), Online publication date: 3-Jan-1991.
- Pinsky E Applying statistical physics to performance analysis of large-scale computing systems (abstract) Proceedings of the 1990 ACM annual conference on Cooperation
- Brumfield J (1987). Concurrent programming in Modula-2, ACM SIGCSE Bulletin, 19:1, (191-200), Online publication date: 1-Feb-1987.
- Brumfield J Concurrent programming in Modula-2 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education, (191-200)
- Brumfield J Teaching operating systems with Modula-2 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education, (273-282)
- Shay W A project for operating systems simulation Proceedings of the seventeenth SIGCSE technical symposium on Computer science education, (289-295)
- Brumfield J (1986). Teaching operating systems with Modula-2, ACM SIGCSE Bulletin, 18:1, (273-282), Online publication date: 1-Feb-1986.
- Shay W (1986). A project for operating systems simulation, ACM SIGCSE Bulletin, 18:1, (289-295), Online publication date: 1-Feb-1986.
- Hoffner Y Static and dynamic topological re-configurability in multi-microcomputer systems Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers, (14-23)
Index Terms
- Principles of concurrent and distributed 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 ...