04185nam 22006255 450 99646577890331620200629132939.03-540-47260-610.1007/3-540-55613-3(CKB)1000000000548868(SSID)ssj0000325339(PQKBManifestationID)11239191(PQKBTitleCode)TC0000325339(PQKBWorkID)10321707(PQKB)11121496(DE-He213)978-3-540-47260-5(PPN)155205420(EXLCZ)99100000000054886820121227d1992 u| 0engurnn|008mamaatxtccrObject-Based Concurrent Computing[electronic resource] ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings /edited by Mario Tokoro, Oscar Nierstrasz, Peter Wegner1st ed. 1992.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1992.1 online resource (XI, 269 p.) Lecture Notes in Computer Science,0302-9743 ;612Bibliographic Level Mode of Issuance: Monograph3-540-55613-3 Towards 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?.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.Lecture Notes in Computer Science,0302-9743 ;612Software engineeringComputer programmingProgramming languages (Electronic computers)Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software engineering.Computer programming.Programming languages (Electronic computers).Software Engineering/Programming and Operating Systems.Programming Techniques.Programming Languages, Compilers, Interpreters.005.1Tokoro Marioedthttp://id.loc.gov/vocabulary/relators/edtNierstrasz Oscaredthttp://id.loc.gov/vocabulary/relators/edtWegner Peteredthttp://id.loc.gov/vocabulary/relators/edtECOOP '91BOOK996465778903316Object-based concurrent computing1487598UNISA