article

Free access

A formalism for real-time concurrent object-oriented computing

Authors:

Ichiro Satoh,

Mario TokoroAuthors Info & Claims

ACM SIGPLAN Notices, Volume 27, Issue 10

Pages 315 - 326

https://doi.org/10.1145/141937.141963

Published: 31 October 1992 Publication History

PDF eReader

References

[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.]]

Digital Library

Google Scholar

[2]

Beaten, J. C. M, and Bergstra, J. A, Process Algebra, Cambridge University Press 1990.]]

Google Scholar

[3]

Castellani, H., Hennessy, M., Distributed Bisimulalion, Journal of ACM, Vol.36, No.4, 1989.]]

Digital Library

Google Scholar

[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.]]

Crossref

Google Scholar

[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.]]

Digital Library

Google Scholar

[8]

Honda, K., and Tokoro, M., An Object Calculus for Asynchronous Communication, In proceedings of ECOOP'91, LNCS 512, 1991.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[12]

Milner, R., A Complete Axiomatization for Observational Congruence of Finite Behavior, Information and Computation, Vol.81, 1989.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[15]

Najm, E., and Stefani, J. B., Object-Based Concurrency: A Process Calculus Analysis, In proceedings of TAPSOFT'91, LNCS 493, 1991.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[18]

Nierstrasz, O. M., Towards an Object Calculus, In proceedings of ECOOP'91 Workshop on Concurrent Object-Based Concurrent Computing, LNCS 612, 1992.]]

Digital Library

Google Scholar

[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.]]

Digital Library

Google Scholar

[22]

Walker, D., r-Calculus Semantics of Object- Oriented Programming Languages, In proceedings of Theoretical Aspects of Computer Software, LNCS 526, 1991.]]

Digital Library

Google Scholar

[23]

Yi, W., CCS + Time = an Interleaving Model for Real Time Systems, In proceedings of Automata, Languages and Programming'91, LNCS 510, 1991.]]

Digital Library

Google Scholar

[24]

Yonezawa, A., and Tokoro, M., editors, Object- Oriented Concurrent Programming, MIT Press, 1987.]]

Digital Library

Google Scholar

Cited By

View all

Satoh ITokoro M(2005)A formalism for remotely interacting processesTheory and Practice of Parallel Programming10.1007/BFb0026571(216-228)Online publication date: 15-Jun-2005
https://doi.org/10.1007/BFb0026571
Skov MStage J(2001)Using Software Engineering Approaches to Model Dynamics in Interactive Software SystemsVirtual Interaction: Interaction in Virtual Inhabited 3D Worlds10.1007/978-1-4471-3698-9_21(404-421)Online publication date: 2001
https://doi.org/10.1007/978-1-4471-3698-9_21
Attali ICaromel DEhmety SLippi S(1996)Semantic-based visualization for parallel object-oriented programmingACM SIGPLAN Notices10.1145/236338.23638331:10(421-440)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1145/236338.236383
Show More Cited By

Index Terms

A formalism for real-time concurrent object-oriented computing

Recommendations

Toward new-generation real-time object-oriented computing
FTDCS '95: Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems

Abstract: In recent years, the market conditions for the real-time computer system (RTCS) technology and the hardware economy have been showing significant changes and thus this author feels that time is ripe for vigorously pursuing new paradigms in ...
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 Programming
Concurrent 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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 27, Issue 10

Oct. 1992

486 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/141937

Editor:
Richard Wexelblat
IDA/CSED, Alexandria, VA

Issue’s Table of Contents

OOPSLA '92: Conference proceedings on Object-oriented programming systems, languages, and applications
October 1992
492 pages
ISBN:0201533723
DOI:10.1145/141936
Chairman:
John Pugh
Carleton Univ., Ottawa, Ont., Canada

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 October 1992

Published in SIGPLAN Volume 27, Issue 10

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
479
Total Downloads

Downloads (Last 12 months)67
Downloads (Last 6 weeks)10

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Satoh ITokoro M(2005)A formalism for remotely interacting processesTheory and Practice of Parallel Programming10.1007/BFb0026571(216-228)Online publication date: 15-Jun-2005
https://doi.org/10.1007/BFb0026571
Skov MStage J(2001)Using Software Engineering Approaches to Model Dynamics in Interactive Software SystemsVirtual Interaction: Interaction in Virtual Inhabited 3D Worlds10.1007/978-1-4471-3698-9_21(404-421)Online publication date: 2001
https://doi.org/10.1007/978-1-4471-3698-9_21
Attali ICaromel DEhmety SLippi S(1996)Semantic-based visualization for parallel object-oriented programmingACM SIGPLAN Notices10.1145/236338.23638331:10(421-440)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1145/236338.236383
Attali ICaromel DEhmety SLippi SAnderson LCoplien J(1996)Semantic-based visualization for parallel object-oriented programmingProceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications10.1145/236337.236383(421-440)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1145/236337.236383
Satoh ITokoro M(2005)A formalism for remotely interacting processesTheory and Practice of Parallel Programming10.1007/BFb0026571(216-228)Online publication date: 15-Jun-2005
https://doi.org/10.1007/BFb0026571
Tokoro MSatoh I(2005)Asynchrony and real-time in distributed systemsParallel Symbolic Computing: Languages, Systems, and Applications10.1007/BFb0018660(318-330)Online publication date: 31-May-2005
https://doi.org/10.1007/BFb0018660
Tokoro M(2005)Agents: Towards a society in which humans and computers cohabitateDistributed Software Agents and Applications10.1007/3-540-61157-6_17(1-10)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-61157-6_17
Laichi BSami Y(2001)ATC: actors with temporal constraintsFourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 200110.1109/ISORC.2001.922854(306-313)Online publication date: 2001
https://doi.org/10.1109/ISORC.2001.922854
Satoh ITokoro M(2000)Time and Asynchrony in Interactions among Distributed Real-Time ObjectsObject-Oriented Programming10.1007/3-540-49538-X_16(331-350)Online publication date: 25-Aug-2000
https://doi.org/10.1007/3-540-49538-X_16
Satoh ITokoro M(2000)A Timed Calculus for Distributed Objects with ClocksECOOP’ 93 — Object-Oriented Programming10.1007/3-540-47910-4_17(326-345)Online publication date: 25-Aug-2000
https://doi.org/10.1007/3-540-47910-4_17
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Toward new-generation real-time object-oriented computing

Concurrent object-oriented programming in Classic-Ada

Transactions for concurrent object-oriented programming systems