Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
A Procedure for Splitting Processes and its Application to Coordination | Electronic Proceedings in Theoretical Computer Science |
| 2012 | |
Overview of Thirty Semantic Formalisms for Reo | Scientific Annals of 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 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Handshaking Protocol for Distributed Implementation of Reo | Electronic Proceedings in Theoretical Computer Science |
| 2015 |
Category | Category Repetition |
---|---|
Science: Mathematics: Instruments and machines: Electronic computers. Computer science | 1 |