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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI