Object-oriented concurrent programming
Object-oriented concurrent programming
Viewing object as patterns of communicating agents
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Process algebra
A formalism for real-time concurrent object-oriented computing
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
A calculus of mobile processes, I
Information and Computation
Communication and Concurrency
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
A Formalism for Remotely Interacting Processes
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
A Timed Calculus for Distributed Objects with Clocks
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Process Algebra with Asynchronous Communication Mechanisms
Seminar on Concurrency, Carnegie-Mellon University
Relating Processes With Respect to Speed
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
A Theory of Process with Localities (Extended Abstract)
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Towards a Theory of Actor Computation
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Asynchronous Communication in Real Space Process Algebra
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Overview and Synthesis on Timed Process Algebras
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Asynchrony and Real-Time in Distributed Systems
Proceedings of the US/Japan Workshop on Parallel Symbolic Computing: Languages, Systems, and Applications
The design and performance of a real-time CORBA event service
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Hi-index | 0.00 |
This paper presents a framework for specifying and verifying distributed real-time object-oriented systems. An earlier paper [18] introduced a process calculus for describing distributed objects using local clocks. It was based on synchronous communication and thus could not sufficiently model asynchronous communication in distributed systems. In this paper we propose a new process calculus with the ability to express asynchronous message passing, communication delay, and delayed processing. It can describe temporal and behavioral properties of distributed real-time objects. Based on the new calculus, we develop a verification method by means of algebraic order relations. The relations are speed-sensitive and can decide whether two distributed real-time objects are behaviorally equivalent and whether one of them can perform its behaviors faster than the other. They offer a suitable method for proving the correctness and reusability of real-time objects in asynchronous communication settings. Some exampls are shown to demonstrate the calculus and the relations.