| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619) | Droste, Manfred et al. | 2021 |
| 2 | Causal Unfoldings | de Visme, Marc et al. | 2019 |
| 3 | The True Concurrency of Herbrand's Theorem | Alcolei, Aurore et al. | 2018 |
| 4 | Distributed Strategies Made Easy | Castellan, Simon et al. | 2017 |
| 5 | Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or | Castellan, Simon et al. | 2017 |
| 6 | Strategies with Parallel Causes | de Visme, Marc et al. | 2017 |
| 7 | Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models | Danos, Vincent et al. | 2012 |
| 8 | The unfolding of general Petri nets | Hayman, Jonathan et al. | 2008 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 8 |