ECOOP Workshop 1991: Object-Based Concurrent Computing

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/1991
- ask others
Mario Tokoro, Oscar Nierstrasz, Peter Wegner (Eds.): Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings. Springer 1992 Lecture Notes in Computer Science ISBN 3-540-55613-3

Formal Methods (1)

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/Nierstrasz91
- ask others
Oscar Nierstrasz: Towards and Object Calculus. 1-20
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/HondaT91
- ask others
Kohei Honda, Mario Tokoro: On Asynchronous Communication Semantics. 21-51
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/Papathomas91
- ask others
Michael Papathomas: A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages. 53-79

Formal Methods (2)

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/WolframG91
- ask others
David A. Wolfram, Joseph A. Goguen: A Sheaf Semantics for FOOPS Expressions. 81-98
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/Shibayama91
- ask others
Etsuya Shibayama: Semantic Layers of Object-Based Concurrent Computing. 99-117
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/America91
- ask others
Pierre America: Formal Techniques for Parallel Object-Oriented Languages. 119-140
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/VasconcelosT91
- ask others
Vasco Thudichum Vasconcelos, Mario Tokoro: Traces Semantics for Actor Systems. 141-162

Concurrent Programming

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/AndreoliPB91
- ask others
Jean-Marc Andreoli, Remo Pareschi, Marc Bourgois: Dynamic Programming as Multiagent Programming. 163-176
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/McHaleWBD91
- ask others
Ciaran McHale, Bridget Walsh, Seán Baker, Alexis A. Donnelly: Scheduling Predicates. 177-193
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/SalehG91
- ask others
Hayssam Saleh, Philippe Gautron: A Concurrency Control Mechanism for C++ Objects. 195-210

Models

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/MatsuokaWIY91
- ask others
Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, Akinori Yonezawa: Object-Oriented Concurrent Reflective Architectures. 211-226
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/HartmannJ91
- ask others
Thorsten Hartmann, Ralf Jungclaus: Abstract Description of Distributed Object Systems. 227-244
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/Wegner91
- ask others
Peter Wegner: Desgin Issues for Object-Based Concurrency. 245-256

Panel

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoopw/AmericaMNTY91
- ask others
Pierre America, Robin Milner, Oscar Nierstrasz, Mario Tokoro, Akinori Yonezawa: What Is An Object? 257-264