Ichiro Satoh
- 1.America, P., de Bakker, J., Kok, J., and Rutten, J., Operational Semantics of a Parallel Object- Oriented Language, In proceedings of ACM POPL, 1987.]] Google Scholar
Digital Library
- 2.Beaten, J. C. M, and Bergstra, J. A, Process Algebra, Cambridge University Press 1990.]]Google ScholarCross Ref
- 3.Castellani, H., Hennessy, M., Distributed Bisimulalion, Journal of ACM, Vol.36, No.4, 1989.]] Google ScholarDigital Library
- 4.de Nicola, R. and Hennessy, M., Testing equivalence for processes, Theoretical Computer Science, Vol.34, 1984.]]Google Scholar
- 5.Hansson, H. and Jonsson, B., A Calculus of Communicating Systems with Time and Probabilities, In proceedings of the llth IEEE Real-Time Systems Symposium, 1990.]]Google ScholarCross Ref
- 6.Hennessy, M. and Regan, T., A Temporal Process Algebra, Technical Report 2/90, University of Sussex, 1990]]Google Scholar
- 7.Hoare, C. A. R., Communicating Sequential Processes, Prentice Hall, 1985.]] Google ScholarDigital Library
- 8.Honda, K., and Tokoro, M., An Object Calculus for Asynchronous Communication, In proceedings of ECOOP'91, LNCS 512, 1991.]] Google ScholarDigital Library
- 9.Ishikawa, Y.,Tokuda, H.,and Mercer, C. W., Object-Oriented Real-Time Language Design: Construction for Timing Constraints, In proceedings of ECOO P/OO PSLA'90, 1990.]] Google ScholarDigital Library
- 10.Milner, R., Calculi for Synchrony and Asynchrony, Theoretical Computer Science, Vol.25, 1983.]]Google Scholar
- 11.Milner, R., Communication and Concurrency, Prentice Hall, 1989.]] Google ScholarDigital Library
- 12.Milner, R., A Complete Axiomatization for Observational Congruence of Finite Behavior, Information and Computation, Vol.81, 1989.]] Google ScholarDigital Library
- 13.Milner, R., Parrow, 3., and Walker, D., A Calculus of Mobile Processes Part i & 2, Technical report ECS-LFCS-89-85 & 86, University of Edinburgh, 1989.]]Google Scholar
- 14.Moiler, F., and Tofts, C., A Temporal Calculus of Communicating Systems, In proceedings of CON- CUR'90, LNCS 458, 1990.]] Google ScholarDigital Library
- 15.Najm, E., and Stefani, J. B., Object-Based Concurrency: A Process Calculus Analysis, In proceedings of TAPSOFT'91, LNCS 493, 1991.]] Google ScholarDigital Library
- 16.Nicollin, X., and Sifakis, J., The Algebra of Timed Process A TP: Theory and Applications, IMAG Technical Report, RT-C26, 1990.]]Google Scholar
- 17.Nierstrasz, O. M., and Papathomas, M., Viewing Objects as Patterns of Communicating Agents, In proceedings of ECOOP/OOPSLA'90, 1990.]] Google ScholarDigital Library
- 18.Nierstrasz, O. M., Towards an Object Calculus, In proceedings of ECOOP'91 Workshop on Concurrent Object-Based Concurrent Computing, LNCS 612, 1992.]] Google ScholarDigital Library
- 19.Satoh, I., and Tokoro, M., A Formal Description and Verification for Parallel Computing with Timed Constraints, In proceeding of Joint Symposium Parallel Processing'92, June, 1992. (in Japanese)]]Google Scholar
- 20.Satoh, I., and Tokoro, M., Timed Process Calculus Semantics for A Real-Timed Concurrent Object- Oriented Language, Technical Report, Dept. Computer Science, Keio University, February, 1992.]]Google Scholar
- 21.Takashio, K., and Tokoro, M., DRO~: An Object. Orinted Programming Language for Distributed Real-time Systems, In proceedings of ACM OOP- SLA'92, October, 1992.]] Google ScholarDigital Library
- 22.Walker, D., r-Calculus Semantics of Object- Oriented Programming Languages, In proceedings of Theoretical Aspects of Computer Software, LNCS 526, 1991.]] Google ScholarDigital Library
- 23.Yi, W., CCS + Time = an Interleaving Model for Real Time Systems, In proceedings of Automata, Languages and Programming'91, LNCS 510, 1991.]] Google ScholarDigital Library
- 24.Yonezawa, A., and Tokoro, M., editors, Object- Oriented Concurrent Programming, MIT Press, 1987.]] Google ScholarDigital Library
Index Terms
- A formalism for real-time concurrent object-oriented computing
Recommendations
Concurrent object-oriented programming in Classic-Ada
Although Ada supports concurrency and can thus be used as a concurrent programming language, it is not generally considered to be an object-oriented programming language. Classic-Ada is a preprocessor which adds the concepts of classes, inheritance, and ...
Transactions for concurrent object-oriented programming systems
Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent ProgrammingConcurrent object-oriented programming systems (COOPS) require support for fault tolerance, concurrency control, consistent commitment of changes and program-initiated rollback. It is sometimes suggested that the classical transaction processing model ...
Transactions for concurrent object-oriented programming systems
OOPSLA/ECOOP '88: Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programmingConcurrent object-oriented programming systems (COOPS) require support for fault tolerance, concurrency control, consistent commitment of changes and program-initiated rollback. It is sometimes suggested that the classical transaction processing model ...
Comments