Cited By
View all- Bonchi FGadducci FMonreale G(2014)A General Theory of Barbs, Contexts, and LabelsACM Transactions on Computational Logic (TOCL)10.1145/263191615:4(1-27)Online publication date: 16-Sep-2014
- Gadducci FMonreale GMontanari U(2012)A modular LTS for open reactive systemsProceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science10.1007/978-3-642-33475-7_10(134-148)Online publication date: 26-Sep-2012
- Bonchi FGadducci FMonreale G(2011)Towards a general theory of barbs, contexts and labelsProceedings of the 9th Asian conference on Programming Languages and Systems10.1007/978-3-642-25318-8_22(289-304)Online publication date: 5-Dec-2011
- Show More Cited By