Thumbnail
Access Restriction
Open

Author Pedro, Antonio Ravara ♦ Resende, Pedro ♦ Vasconcelos, Vasco T.
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Concurrent Object ♦ Process Calculus ♦ Type System ♦ Dynamic Object Type ♦ Dynamic Property ♦ Usual Safety Property ♦ Introduction Non-uniform Type ♦ Location Iden ♦ Internal State ♦ Object Type ♦ Algebraic Law ♦ Several Author
Description We propose an algebra of object types that characterises the semantics of concurrent objects in a process calculus setting where the communication is asynchronous. The types are non-uniform, and provide an internal (and synchronous) view of the objects that inhabit them. These ideas, along with the algebraic laws, are based on a notion of bisimulation that is unlike other notions in the literature. 1 Introduction Non-uniform types for concurrent objects constitute the object of study of several authors [7, 2, 3, 6, 8]. The aim is to build type systems capable of ensuring more than the usual safety properties (such as subject-reduction); for instance, the absence of some deadlocks. These types reflect a dependency of the interface of an object upon its internal state, conveying information about some dynamic properties of objects. In a process calculus setting such as T yCO [10], processes denote the behaviour of a community of interacting objects, where each object has a location iden...
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1998-01-01
Publisher Institution In ICALP'98 workshop Semantics of Objects as Processes. BRICS Note Series