Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002710701/catalog> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- catalog abstract ""The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The emphasis was on conceptual, theoretical and formal aspects, as well as practical aspects and sound experience, since such a viewpoint was deemed indispensible to investigate and establish a basis for future development. This volume contains 12 papers selected from 25 presented at the workshop, together with a paper by J.A. Goguen, who was an invited speaker at the workshop. The papers are classified into four categories: Formal methods (1): three papers are concerned with the formal semantics of concurrent objects based on process calculi. Formal methods (2): four papers are concerned with various formal approaches to the semantics of concurrent programs. Concurrent programming: three papers. Models: three papers areconcerned with models for concurrent systems."--PUBLISHER'S WEBSITE.".
- catalog contributor b3932165.
- catalog contributor b3932166.
- catalog contributor b3932167.
- catalog contributor b3932168.
- catalog created "c1992.".
- catalog date "1992".
- catalog date "c1992.".
- catalog dateCopyrighted "c1992.".
- catalog description ""The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The emphasis was on conceptual, theoretical and formal aspects, as well as practical aspects and sound experience, since such a viewpoint was deemed indispensible to investigate and establish a basis for future development. This volume contains 12 papers selected from 25 presented at the workshop, together with a paper by J.A. Goguen, who was an invited speaker at the workshop. The papers are classified into four categories: Formal methods (1): three papers are concerned with the formal semantics of concurrent objects based on process calculi. Formal methods (2): four papers are concerned with various formal approaches to the semantics of concurrent programs. Concurrent programming: three papers. Models: three papers areconcerned with models for concurrent systems."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "x, 264 p. :".
- catalog hasFormat "Object-based concurrent computing.".
- catalog identifier "0387556133 (New York : acid-free paper)".
- catalog identifier "3540556133 (Berlin : acid-free paper)".
- catalog isFormatOf "Object-based concurrent computing.".
- catalog isPartOf "Lecture notes in computer science ; 612".
- catalog issued "1992".
- catalog issued "c1992.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Object-based concurrent computing.".
- catalog subject "005.1 20".
- catalog subject "Object-oriented programming (Computer science) Congresses.".
- catalog subject "Parallel programming (Computer science) Congresses.".
- catalog subject "Parallel programming Congresses.".
- catalog subject "QA76.64 .E95 1991".
- catalog title "Object-based concurrent computing : ECOOP '91 workshop, Geneva, Swizterland, July 15-16, 1991 : proceedings / M. Tokoro, O. Nierstrasz, P. Wegner, eds.".
- catalog type "Conference proceedings. fast".
- catalog type "text".