Towards a type theory for active objects

No abstract is available for this paper.

• Publication year

  1991

• Venue

  OOPSLA/ECOOP Workshop on Object-based Concurrent Programming

• Publication date

  1991-04-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1145/127056.127092
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Viewing object as patterns of communicating agents

  1990cited by this paper
• Compositionality through an Operational Semantics of Contexts

  1990cited by this paper
• A Guide to Specifying Concurrent Behaviour with Abacus 1

  1990cited by this paper
• Concurrency Issues in Object-Oriented Programming Languages

  1989cited by this paper
• Communication and concurrency

  1989influential reference
• Proof System for Hennessy-Milner Logic with Recursion

  1988cited by this paper
• Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like

  1988cited by this paper
• Algebraic theory of processes

  1988cited by this paper
• Limitations of synchronous communication with static process structure in languages for distributed computing

  1986cited by this paper
• Algebraic laws for nondeterminism and concurrency

  1985cited by this paper
• On understanding types, data abstraction, and polymorphism

  1985cited by this paper
• A Theory of Communicating Sequential Processes

  1984cited by this paper
• Specifying Concurrent Program Modules

  1983cited by this paper
• Message passing between sequential processes: The reply primitive and the administrator concept

  1981cited by this paper
• Verification of concurrent programs, Part I: The temporal framework

  1981cited by this paper

• An algebraic specification language for organizational behavior of OOMAS

  2016influential citation
• Object Models Object Models

  2009cites this paper
• Asynchronous Active Objects in Java

  2008cites this paper
• 6 Some Theoretical Considerations 5 Our Requirements, Reconsidered 4.2 Composition

  2007cites this paper
• Technique for dynamic composition of content and context-sensitive mobile applications. Adaptive mobile browsers as a case study: Dissertation

  2007cites this paper
• Typsysteme für die Dienstvermittlung in offenen verteilten Systemen

  2005cites this paper
• Jeeg: temporal constraints for the synchronization of concurrent objects

  2003cites this paper
• Jeeg: a programming language for concurrent objects synchronization

  2002cites this paper
• Supporting parallel computing on a distributed object architecture

  2001cites this paper
• (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly

  1996cites this paper
• Object-oriented software composition

  1995cites this paper
• Aspects - Composing CSCW Applications

  1995cites this paper
• CONTROL OF OBJECT BEHAVIOR : ASYNCHRONOUS REACTIVE OBJECTS

  1994cites this paper
• An annotated bibliography for object-oriented analysis and design

  1994cites this paper
• CONTROL OF OBJECT BEHAVIOR : ASYNCHRONOUS REACTIVE OBJECTS

  1994cites this paper
• The Next 700 Concurrent Object-Oriented Languages *

  1993cites this paper
• Composing active objects m the next 700 concurrent object-oriented languages

  1993cites this paper
• Concurrent Object-Oriented Languages and the Inheritance Anomaly

  1993cites this paper
• Analysis of inheritance anomaly in object-oriented concurrent programming languages

  1993cites this paper
• Regular types for active objects

  1993cites this paper
• System Design by Composing Structures of Interacting Objects

  1992cites this paper
• Language Design Rationale and Semantic Framework for Concurrent Object-Oriented Programming

  1992cites this paper
• Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages

  1992cites this paper
• Towards and Object Calculus

  1991cites this paper
• An Object Calculus for Asynchronous Communication

  1991cites this paper
• A small calculus for concurrent objects

  1991cites this paper
• Towards an Object Calculus ∗

  1991cites this paper
• Supporting Software Reuse in Concurrent Object-Oriented Languages: Exploring the Language Design Space 1

  1991cites this paper
• Abstract Description of Distributed Object Systems

  1991cites this paper
• Viewing object as patterns of communicating agents

  1990cites this paper
• A Guide to Specifying Concurrent Behaviour with Abacus 1

  1990cites this paper
• Viewing Objects as Patterns of Communicating Agents 1

  1990cites this paper
• Supporting Software Reuse in Concurrent Object-Oriented Languages: Exploring the Language Design Space

  year unknowncites this paper