This paper presents a proposal of a language, based on synchronous active objects that introduces the CSP primitives into Java. The proposal does not use channels to realise the inter-process communications, but is shown to offer the same expressive power as the channel based solutions. The paper also shows that the rendezvous defined by CSP or our synchronous objects are very well adapted to the industrial development of event driven applications, handling simultaneously GUIs and accesses to remote applications
Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a ...
Communicating Sequential Processes for Java (JCSP) is a mature library that implements CSP-derived c...
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP para...
The incorporation of multithreading in Java may be considered a significant part of the Java languag...
We propose to define a protocol which manages the synchronization of two instances of the same appli...
We propose a high-level language based on first order logic for expressing synchronization in concur...
Java’s Remote Method Invocation is an example of a synchronous communication mechanism with a well d...
Real-time embedded systems in general require a reliability that is orders of magnitude higher than ...
We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mecha...
The coordination among a set of concurrent objects is commonly expressed through language specific s...
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP para...
This paper assesses the concept of synchronous objects, and shows that these objects make it possibl...
Abstract Java's threads offer appropriate means either for parallel programming of SMPs or as t...
In order to tackle the development of concurrent and distributed systems, theactive object programmi...
We present the semantics and proof system for an object-oriented language with active objects, async...
Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a ...
Communicating Sequential Processes for Java (JCSP) is a mature library that implements CSP-derived c...
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP para...
The incorporation of multithreading in Java may be considered a significant part of the Java languag...
We propose to define a protocol which manages the synchronization of two instances of the same appli...
We propose a high-level language based on first order logic for expressing synchronization in concur...
Java’s Remote Method Invocation is an example of a synchronous communication mechanism with a well d...
Real-time embedded systems in general require a reliability that is orders of magnitude higher than ...
We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mecha...
The coordination among a set of concurrent objects is commonly expressed through language specific s...
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP para...
This paper assesses the concept of synchronous objects, and shows that these objects make it possibl...
Abstract Java's threads offer appropriate means either for parallel programming of SMPs or as t...
In order to tackle the development of concurrent and distributed systems, theactive object programmi...
We present the semantics and proof system for an object-oriented language with active objects, async...
Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a ...
Communicating Sequential Processes for Java (JCSP) is a mature library that implements CSP-derived c...
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP para...