Cited By
View all- Jiang YLiu SEhrhard T(2019)A fully abstract semantics for value-passing CCS for treesFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-018-7069-113:4(828-849)Online publication date: 17-Jul-2019
- Bruni RMelgratti HMontanari U(2011)Connector algebras, petri nets, and BIPProceedings of the 8th international conference on Perspectives of System Informatics10.1007/978-3-642-29709-0_2(19-38)Online publication date: 27-Jun-2011
- Lanese IMontanari U(2007)Mapping Fusion and Synchronized Hyperedge Replacement into logic programmingTheory and Practice of Logic Programming10.1017/S147106840600281X7:1-2(123-151)Online publication date: 1-Jan-2007
- Show More Cited By