Article

An Algorithm for Analyzing Communicating Processes

Author:

Nicolas MercouroffAuthors Info & Claims

Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics

Pages 312 - 325

Published: 25 March 1991 Publication History

Abstract

No abstract available.

Cited By

View all

Zakeryfar MGrogono PDesai BAlmeida AMudur S(2013)Static analysis of concurrent programs by adapted vector clockProceedings of the International C* Conference on Computer Science and Software Engineering10.1145/2494444.2494476(58-66)Online publication date: 10-Jul-2013
https://dl.acm.org/doi/10.1145/2494444.2494476
Reppy JXiao YHofmann MFelleisen M(2007)Specialization of CML message-passing primitivesProceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1190216.1190264(315-326)Online publication date: 17-Jan-2007
https://dl.acm.org/doi/10.1145/1190216.1190264
Reppy JXiao Y(2007)Specialization of CML message-passing primitivesACM SIGPLAN Notices10.1145/1190215.119026442:1(315-326)Online publication date: 17-Jan-2007
https://dl.acm.org/doi/10.1145/1190215.1190264
Show More Cited By

An Algorithm for Analyzing Communicating Processes

Recommendations

Analyzing Big Data Streams with Apache SAMOA
Behavioral Analytics in Social and Ubiquitous Environments
Abstract
Apache Apache samoa(Scalable Advanced Massive Online Analysis) is an open-source platform for mining big data streams. Big data is defined as datasets whose size is beyond the ability of typical software tools to capture, store, manage and ...
Analyzing interacting BPEL processes
BPM'06: Proceedings of the 4th international conference on Business Process Management

This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On the model we decide controllability of the process (the ...
Distributed deadlock detection for communicating processes (operating systems)

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics

March 1991

506 pages

ISBN:3540555110

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 25 March 1991

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Zakeryfar MGrogono PDesai BAlmeida AMudur S(2013)Static analysis of concurrent programs by adapted vector clockProceedings of the International C* Conference on Computer Science and Software Engineering10.1145/2494444.2494476(58-66)Online publication date: 10-Jul-2013
https://dl.acm.org/doi/10.1145/2494444.2494476
Reppy JXiao YHofmann MFelleisen M(2007)Specialization of CML message-passing primitivesProceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1190216.1190264(315-326)Online publication date: 17-Jan-2007
https://dl.acm.org/doi/10.1145/1190216.1190264
Reppy JXiao Y(2007)Specialization of CML message-passing primitivesACM SIGPLAN Notices10.1145/1190215.119026442:1(315-326)Online publication date: 17-Jan-2007
https://dl.acm.org/doi/10.1145/1190215.1190264
Le Métayer D(1998)Describing Software Architecture Styles Using Graph GrammarsIEEE Transactions on Software Engineering10.1109/32.70856724:7(521-533)Online publication date: 1-Jul-1998
https://dl.acm.org/doi/10.1109/32.708567
Marinescu MGoldberg B(1997)Partial-evaluation techniques for concurrent programsACM SIGPLAN Notices10.1145/258994.25900232:12(47-62)Online publication date: 1-Dec-1997
https://dl.acm.org/doi/10.1145/258994.259002
Marinescu MGoldberg BGallagher JConsel C(1997)Partial-evaluation techniques for concurrent programsProceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/258993.259002(47-62)Online publication date: 1-Dec-1997
https://dl.acm.org/doi/10.1145/258993.259002
Le Métayer D(1996)Software architecture styles as graph grammarsACM SIGSOFT Software Engineering Notes10.1145/250707.23910521:6(15-23)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1145/250707.239105
Le Métayer DMoriconi MAbowd G(1996)Software architecture styles as graph grammarsProceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering10.1145/239098.239105(15-23)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1145/239098.239105
Colby CJones N(1995)Analyzing the communication topology of concurrent programsProceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/215465.215592(202-213)Online publication date: 23-Jun-1995
https://dl.acm.org/doi/10.1145/215465.215592
Dwyer MClarke L(1994)Data flow analysis for verifying properties of concurrent programsACM SIGSOFT Software Engineering Notes10.1145/195274.19529519:5(62-75)Online publication date: 1-Dec-1994
https://dl.acm.org/doi/10.1145/195274.195295
Show More Cited By

Abstract

Cited By

Recommendations

Analyzing Big Data Streams with Apache SAMOA

Analyzing interacting BPEL processes

Distributed deadlock detection for communicating processes (operating systems)

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations