A Guide to Specifying Concurrent Behaviour with Abacus (1990)

by Oscar Nierstrasz
Citations:9 - 5 self

Documents Related by Co-Citation

3219 Communication and Concurrency – R Milner - 1990
1095 Actors: A model of concurrent computation in distributed systems – G Agha - 1986
315 Functions as processes – R Milner - 1990
47 Viewing Objects as Patterns of Communicating Agents – Oscar Nierstrasz, Michael Papathomas - 1990
401 Viewing Control Structures as Patterns of Passing Messages – C Hewitt - 1977
23 Towards a Type Theory for Active Objects – Oscar Nierstrasz, Michael Papathomas - 1990
184 On Understanding Types – L Cardelli, P Wegner - 1985
118 Inheritance as an incremental modification mechanism or what like is and isn’t like – P Wegner, S B Zdonik - 1988
58 Inheritance in actor based concurrent object-oriented languages – D G Kafura, K H Lee - 1989
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
22 Concurrency Issues in Object-Oriented Programming Languages – M. Papathomas - 1989
56 Foundations of actor semantics – W D Clinger - 1981
7 Limitations of Synchronous Communication with Static – B Liskov, M Herlihy, L Gilbert - 1986
32 Message passing between sequential processes: the reply primitive and the administrator concept’, Software—Practice and Experience – W M Gentleman - 1981
116 Calculi for higher order communicating systems – B Thomsen - 1990
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
7 Integrating Concurrency and Object-Oriented Programming - An Evaluation of Hybrid – Michael Papathomas, Dimitri Konstantas - 1990
19 Inheritance and Syn-chronization with Enabled Sets – Chris Tomlinson, Vineet Singh - 1989