scientific article; zbMATH DE number 7649892
From MaRDI portal
Publication:5875349
DOI10.4230/LIPIcs.CALCO.2019.9MaRDI QIDQ5875349
Publication date: 3 February 2023
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Petri nets, event structures and domains. I
- Category theoretic structure of setoids
- Rigid Families for CCS and the $$\pi $$ -calculus
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
- The Winning Ways of Concurrent Games
- Symmetry in concurrent games
This page was built for publication: