Article

Interacting processes: a language for coordinated distributed programming

Authors:

N. Francez,

I. R. FormanAuthors Info & Claims

JCIT: Proceedings of the fifth Jerusalem conference on Information technology

Pages 146 - 161

Published: 01 September 1990 Publication History

Abstract

No abstract available.

Cited By

View all

Tsay YBagrodia R(1994)Fault-Tolerant Algorithms for Fair Interprocess SynchronizationIEEE Transactions on Parallel and Distributed Systems10.1109/71.2963195:7(737-748)Online publication date: 1-Jul-1994
https://dl.acm.org/doi/10.1109/71.296319
Kurki-Suonio R(1993)Stepwise Design of Real-Time SystemsIEEE Transactions on Software Engineering10.1109/32.21030719:1(56-69)Online publication date: 1-Jan-1993
https://dl.acm.org/doi/10.1109/32.210307
Joung YSmolka SSethi R(1992)A comprehensive study of the complexity of multiparty interactionProceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/143165.143197(142-153)Online publication date: 1-Feb-1992
https://dl.acm.org/doi/10.1145/143165.143197
Show More Cited By

Index Terms

Interacting processes: a language for coordinated distributed programming

Recommendations

Semantics for coordinated substitution grammars as implemented in prolog
PLACA, an agent oriented programming language
Coordination language for distributed clean

The distributed evaluation of functional programs and the communication between computational nodes require high-level process description and coordination mechanism. This paper presents the D-Clean high-level functional language, which supports the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

JCIT: Proceedings of the fifth Jerusalem conference on Information technology

September 1990

798 pages

ISBN:0818620781

Chairmen:
Joshua Maor,
Abraham Peled

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 September 1990

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tsay YBagrodia R(1994)Fault-Tolerant Algorithms for Fair Interprocess SynchronizationIEEE Transactions on Parallel and Distributed Systems10.1109/71.2963195:7(737-748)Online publication date: 1-Jul-1994
https://dl.acm.org/doi/10.1109/71.296319
Kurki-Suonio R(1993)Stepwise Design of Real-Time SystemsIEEE Transactions on Software Engineering10.1109/32.21030719:1(56-69)Online publication date: 1-Jan-1993
https://dl.acm.org/doi/10.1109/32.210307
Joung YSmolka SSethi R(1992)A comprehensive study of the complexity of multiparty interactionProceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/143165.143197(142-153)Online publication date: 1-Feb-1992
https://dl.acm.org/doi/10.1145/143165.143197
Joung YSmolka SWise D(1991)Coordinating first-order multiparty interactionsProceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/99583.99614(209-220)Online publication date: 3-Jan-1991
https://dl.acm.org/doi/10.1145/99583.99614
Kurki-Suonio RMoriconi M(1991)Stepwise design of real-time systemsProceedings of the conference on Software for citical systems10.1145/125083.123063(120-131)Online publication date: 1-Sep-1991
https://dl.acm.org/doi/10.1145/125083.123063
Kurki-Suonio R(1991)Stepwise design of real-time systemsACM SIGSOFT Software Engineering Notes10.1145/123041.12306316:5(120-131)Online publication date: 1-Sep-1991
https://dl.acm.org/doi/10.1145/123041.123063

View Options

View options

Login options

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

Abstract

Cited By

Index Terms

Recommendations

Semantics for coordinated substitution grammars as implemented in prolog

PLACA, an agent oriented programming language

Coordination language for distributed clean

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations