LEADER 04185nam  22006255  450 
001 996465778903316
005 20200629132939.0
010   $a3-540-47260-6
024 7 $a10.1007/3-540-55613-3
035   $a(CKB)1000000000548868
035   $a(SSID)ssj0000325339
035   $a(PQKBManifestationID)11239191
035   $a(PQKBTitleCode)TC0000325339
035   $a(PQKBWorkID)10321707
035   $a(PQKB)11121496
035   $a(DE-He213)978-3-540-47260-5
035   $a(PPN)155205420
035   $a(EXLCZ)991000000000548868
100   $a20121227d1992      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aObject-Based Concurrent Computing$b[electronic resource] $eECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings /$fedited by Mario Tokoro, Oscar Nierstrasz, Peter Wegner
205   $a1st ed. 1992.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992.
215   $a1 online resource (XI, 269 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v612
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-55613-3 
327   $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?.
330   $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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v612
606   $aSoftware engineering
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers).
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
676   $a005.1
702   $aTokoro$b Mario$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNierstrasz$b Oscar$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWegner$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aECOOP '91
906   $aBOOK
912   $a996465778903316
996   $aObject-based concurrent computing$91487598
997   $aUNISA