000 03325nam a22004815i 4500
001 978-3-540-47260-5
003 DE-He213
005 20160624102021.0
007 cr nn 008mamaa
008 121227s1992 gw | s |||| 0|eng d
020 _a9783540472605
_9978-3-540-47260-5
024 7 _a10.1007/3-540-55613-3
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
082 0 4 _a005.11
_223
245 1 0 _aObject-Based Concurrent Computing
_h[electronic resource] :
_bECOOP '91 Workshop Geneva, Switzerland, July 15–16, 1991 Proceedings /
_cedited by M. Tokoro, O. Nierstrasz, P. Wegner.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1992.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1992.
300 _aXI, 269 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v612
505 0 _aTowards an object calculus -- On asynchronous communication semantics -- A unifying framework for process calculus semantics of concurrent object-oriented languages -- A sheaf semantics for FOOPS expressions (extended abstract) -- Semantic layers of object-based concurrent computing -- Formal techniques for parallel object-oriented languages -- Trace semantics for actor systems -- Dynamic programming as multiagent programming -- Scheduling predicates -- A concurrency control mechanism for C++ objects -- Object-Oriented Concurrent Reflective architectures -- Abstract description of distributed object systems -- Design issues for object-based concurrency -- Panel: What is an object?.
520 _aThe 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.
650 0 _aComputer science.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Techniques.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
700 1 _aTokoro, M.
_eeditor.
700 1 _aNierstrasz, O.
_eeditor.
700 1 _aWegner, P.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540556138
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v612
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-55613-3
942 _2EBK6022
_cEBK
999 _c35316
_d35316