scientific article; zbMATH DE number 1231693

MaRDI QIDQ4223023zbMATH OpenFDO

Authors Andrew D. Gordon, Paul D. Hankin

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

zbMATH Keywords

concurrent object-oriented languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• A calculus for concurrent objects
• scientific article; zbMATH DE number 1759485
• scientific article; zbMATH DE number 2118223
• scientific article; zbMATH DE number 1614713

Cited in

(28)

• Asynchronous sequential processes
• Abstract interface behavior of object-oriented languages with monitors
• Inheritance in the join calculus.
• A calculus for reasoning about software composition
• Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
• Aliasing models for mobile objects
• A theory of bisimulation for a fragment of concurrent ML with local names
• Formalising Java RMI with explicit code mobility
• Mobile objects as mobile processes
• MOMI: a calculus for mobile mixins
• scientific article; zbMATH DE number 1614713 (Why is no real title available?)
• An object-oriented calculus with term constraints
• Spatial-Behavioral Types, Distributed Services, and Resources
• A Typed Calculus for Querying Distributed XML Documents
• scientific article; zbMATH DE number 1759485 (Why is no real title available?)
• scientific article; zbMATH DE number 1759630 (Why is no real title available?)
• Strong types for coordinating active objects
• Typing Correspondence Assertions for Communication Protocols
• scientific article; zbMATH DE number 1418457 (Why is no real title available?)
• A delegation-based object calculus with subtyping
• Programming Languages and Systems
• A Mechanized Model of the Theory of Objects
• A fully abstract may testing semantics for concurrent objects
• Theoretical Aspects of Computing - ICTAC 2004
• Logical Approaches to Computational Barriers
• A calculus for concurrent objects
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Spatial-behavioral types for concurrency and resource control in distributed systems

Describes a project that uses

Uses Software

• Pict

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4223023)