#### Filter Results:

- Full text PDF available (31)

#### Publication Year

1985

2016

- This year (0)
- Last 5 years (2)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Gul A. Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- J. Funct. Program.
- 1997

We present an actor language which is an extension of a simple functional language, and provide an operational semantics for this extension. Actor configurations represent open distributed systems, by which we mean that the specification of an actor system explicitly takes into account the interface with external components. We study the composability of… (More)

- Sasa Buvac, Ian A. Mason
- AAAI
- 1993

In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and give a Hilbert style proof system for this language. A propositional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(K, 4), is introduced. It is… (More)

- Ian A. Mason, Carolyn L. Talcott
- J. Funct. Program.
- 1991

Traditionally the view has been that direct expression of control and store mechanisms and clear mathematical semantics are incompatible requirements. This paper shows that adding objects with memory to the call-by-value lambda calculus results in a language with a rich equational theory, satisfying many of the usual laws. Combined with other recent work… (More)

- Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
- Journal of Automated Reasoning
- 1992

Much research has been devoted in building computer systems for checking proofs or for developing interactively correct proofs in specific logical systems. However, implementing a proof environment for a specific logical system is both complex and time-consuming, this-together with the proliferation of logics-suggests that a uniform and reliable alternative… (More)

- Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- Inf. Comput.
- 1996

This paper builds domain theoretic concepts upon an operational foundation. The basic operational theory consists of a single step reduction system from which an operational ordering and equivalence on programs are deened. The theory is then extended to include concepts from domain theory, including the notions of directed set, least upper bound, complete… (More)

- Gul A. Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- CONCUR
- 1992

In this paper we present preliminary results of a rigorous development of the actor model of computation. We present an actor language which is an extension of a simple functional language, and provide a precise operational semantics for this extension. Our actor systems are open distributed systems, meaning we explicitly take into account the interface… (More)

- Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- Inf. Comput.
- 1995

- Sasa Buvac, Vanja Buvac, Ian A. Mason
- Fundam. Inform.
- 1995

In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and we give a Hilbert style proof system for this language. A proposi-tional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(;), is introduced. It… (More)

- Ian A. Mason, Carolyn L. Talcott
- Theor. Comput. Sci.
- 1992

- Ian A. Mason, Carolyn L. Talcott
- LICS
- 1989