Modularizing and Specifying Protocols among Threads

Article Properties
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
A Procedure for Splitting Processes and its Application to Coordination Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
2012
Overview of Thirty Semantic Formalisms for Reo Scientific Annals of Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
2012
Automatic Code Generation for the Orchestration of Web Services with Reo 2011
Puff, The Magic Protocol 2011
Scribbling Interactions with a Formal Foundation 2011
Citations
Title Journal Journal Categories Citations Publication Date
Handshaking Protocol for Distributed Implementation of Reo Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
2015
Citations Analysis
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Handshaking Protocol for Distributed Implementation of Reo and was published in 2015. The most recent citation comes from a 2015 study titled Handshaking Protocol for Distributed Implementation of Reo. This article reached its peak citation in 2015, with 1 citations. It has been cited in 1 different journals, 100% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year