scientific article; zbMATH DE number 1231693
From MaRDI portal
Publication:4223023
zbMath0917.68064MaRDI QIDQ4223023
Paul D. Hankin, Andrew D. Gordon
Publication date: 10 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=16&iss=3#16.3.007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15)
Related Items
Strong types for coordinating active objects, A theory of bisimulation for a fragment of concurrent ML with local names, Creol: A type-safe object-oriented model for distributed concurrent systems, Inheritance in the join calculus., Spatial-behavioral types for concurrency and resource control in distributed systems, Formalising Java RMI with explicit code mobility, Typing Correspondence Assertions for Communication Protocols, A Mechanized Model of the Theory of Objects, A calculus for reasoning about software composition, A fully abstract may testing semantics for concurrent objects, Mobile objects as mobile processes, Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation, Spatial-Behavioral Types, Distributed Services, and Resources, A Typed Calculus for Querying Distributed XML Documents, Asynchronous sequential processes, Abstract interface behavior of object-oriented languages with monitors, MOMI: a calculus for mobile mixins, Aliasing models for mobile objects
Uses Software
