9 results on '"Bonchi, Filippo"'
Search Results
2. String diagram rewrite theory III: Confluence with and without Frobenius
3. String diagram rewrite theory II: Rewriting with symmetric monoidal structure
4. Enhanced coalgebraic bisimulation
5. Concurrency cannot be observed, asynchronously
6. Enhanced coalgebraic bisimulation.
7. RPO semantics for mobile ambients
8. Preface to special issue: EXPRESS, ICE and SOS 2009
9. Concurrency cannot be observed, asynchronously.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.