A Relational Notation for State Transition Systems
A Relational Notation for State Transition Systems
Automatic synthesis of modular connectors via composition of protocol mediation patterns
Proceedings of the 2013 International Conference on Software Engineering
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
| Hi-index | 0.00 |
In previously giving a summary of the theory of protocol projection, an incorrect statement was made. A given statement is claimed to be false, and is corrected accordingly.