• Publications
  • Influence
ABS: A Core Language for Abstract Behavioral Specification
This paper presents ABS, an abstract behavioral specification language for designing executable models of distributed object-oriented systems. The language combines advanced concurrency andExpand
  • 314
  • 53
  • PDF
An Asynchronous Communication Model for Distributed Concurrent Objects
Distributed systems are often modeled by objects that run concurrently, each with its own processor and communicate by synchronous remote method calls. This may be satisfactory for tightly coupledExpand
  • 104
  • 15
A Complete Guide to the Future
We present the semantics and proof system for an object-oriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, distinguishes itself in thatExpand
  • 206
  • 12
  • PDF
Creol: A type-safe object-oriented model for distributed concurrent systems
Object-oriented distributed computing is becoming increasingly important for critical infrastructure in society. In standard object-oriented models, objects synchronize on method calls. These modelsExpand
  • 140
  • 9
  • PDF
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
The age of multi-core computers is upon us, yet current programming languages, typically designed for single-core computers and adapted post hoc for multi-cores, remain tied to the constraints of aExpand
  • 63
  • 9
  • PDF
An Asynchronous Communication Model for Distributed Concurrent Objects
  • E. Johnsen, Olaf Owe
  • Computer Science
  • Proceedings of the Second International…
  • 7 March 2007
Distributed systems are often modeled by objects that run concurrently, each with its own processor, and communicate by synchronous remote method calls. This may be satisfactory for tightly coupledExpand
  • 129
  • 6
  • PDF
Minimal Ownership for Active Objects
Active objects offer a structured approach to concurrency, encapsulating both unshared state and a thread of control. For efficient data transfer, data should be passed by reference wheneverExpand
  • 71
  • 5
  • PDF
A Survey of Active Object Languages
To program parallel systems efficiently and easily, a wide range of programming models have been proposed, each with different choices concerning synchronization and communication between parallelExpand
  • 48
  • 4
  • PDF
Verification of concurrent objects with asynchronous method calls
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in distributed andExpand
  • 41
  • 4
  • PDF
User-defined schedulers for real-time concurrent objects
Scheduling concerns the allocation of processors to processes, and is traditionally associated with low-level tasks in operating systems and embedded devices. However, modern software applicationsExpand
  • 50
  • 3
  • PDF