Cited By
View all- Blaisdell EKanovich MKuznetsov SPimentel EScedrov A(2022)Non-associative, Non-commutative Multi-modal Linear LogicAutomated Reasoning10.1007/978-3-031-10769-6_27(449-467)Online publication date: 8-Aug-2022
- Bernini ABrodo LDegano PFalaschi MHermith D(2018)Process calculi for biological processesNatural Computing: an international journal10.1007/s11047-018-9673-217:2(345-373)Online publication date: 1-Jun-2018